検索結果 - interactive visualization processing program verifier https

提案スペルによる検索:
interactive visualization » information visualization
visualization processing » visualization proceedings , visualization process , generalization processing
processing program » processing programs , processing programmed , proceedings program
program verifier » program series
https » http

Programming Multi-Agent Systems Fifth International Workshop, ProMAS 2007 Honolulu, HI, USA, May 14-18, 2007 Revised and Invited Papers /

出版事項 2008

目次: “... -- Modules as Policy-Based Intentions: Modular Agent Programming in GOAL -- Specifying and Verifying a...”
全文の入手

電子媒体 eBook

Fundamental Approaches to Software Engineering 11th International Conference, FASE 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 20...

出版事項 2008

目次: “... Process Models -- Consistent Integration of Models Based on Views of Visual Languages -- Translating Model...”
全文の入手

電子媒体 eBook

Formal Methods and Software Engineering 7th International Conference on Formal Engineering Methods, ICFEM 2005, Manchester, UK, November 1-4, 2005, Proceedings /

出版事項 2005

目次: “...-Based Program Inspection -- Visualizing and Simulating Semantic Web Services Ontologies -- A Model...”
全文の入手

電子媒体 eBook

Model Driven Engineering Languages and Systems 9th International Conference, MoDELS 2006, Genova, Italy, October 1-6, 2006, Proceedings /

出版事項 2006

目次: “... Development with SDL – Process, Tools, and Experiences -- Concrete Syntax -- Model-Driven Analysis...”
全文の入手

電子媒体 eBook

Advances in Software Engineering International Conference, ASEA 2010, Held as Part of the Future Generation Information Technology Conference, FGIT 2010, Jeju Island, Korea, Decemb...

出版事項 2010

目次: “... Visualization for Debugging Deadlocks in Multithreaded Programs -- A Fast PDE Algorithm Using Adaptive Scan...”
全文の入手

電子媒体 eBook

Model Driven Engineering Languages and Systems 15th International Conference, MODELS 2012, Innsbruck, Austria, September 30 -- October 5, 2012, Proceedings /

出版事項 2012

目次: “...Quantitative Reactive -- Bottom-Up Meta-Modelling: An Interactive -- T_: A Domain Specific Language...”
全文の入手

電子媒体 eBook

Leveraging Applications of Formal Methods, Verification, and Validation 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21,...

出版事項 2010

目次: “... -- Navigating the Web of Things: Visualizing and Interacting with Web-Enabled Objects -- Shaping Future Service...”
全文の入手

電子媒体 eBook

KI 2008: Advances in Artificial Intelligence 31st Annual German Conference on AI, KI 2008, Kaiserslautern, Germany, September 23-26, 2008, Proceedings /

出版事項 2008

目次: “... Programming Systems in a Higher-Order Framework -- High-Level Expectations for Low-Level Image Processing...”
全文の入手

電子媒体 eBook

Mobile Computing, Applications, and Services First International ICST Conference, MobiCASE 2009, San Diego, CA, USA, October 26-29, 2009, Revised Selected Papers /

出版事項 2010

目次: “... Mobile Search Service -- Mobile Visual Analytics for Datacenter Power and Cooling Management -- MobiCASE...”
全文の入手

電子媒体 eBook

Advances in Multimedia and Network Information System Technologies

出版事項 2010

目次: “... -- Interactive Visualization of a Product Search Space -- - Web Systems and Network Technologies -- Adaptive User...”
全文の入手

電子媒体 eBook

Web Engineering 7th International Conference, ICWE 2007, Como, Italy, July 16-20, 2007, Proceedings /

出版事項 2007

目次: “... with Content-Modification Operations -- Metamodeling the Quality of the Web Development Process’ Intermediate...”
全文の入手

電子媒体 eBook

AI*IA 2007: Artificial Intelligence and Human-Oriented Computing 10th Congress of the Italian Association for Artificial Intelligence, Rome, Italy, September 10-13, 2007, Proceedin...

出版事項 2007

目次: “... for Web Services -- Finite Model Reasoning on UML Class Diagrams Via Constraint Programming -- Model...”
全文の入手

電子媒体 eBook

絞込み検索