Search Results - information visualization programming program contract https

1

Agile Processes in Software Engineering and Extreme Programming 15th International Conference, XP 2014, Rome, Italy, May 26-30, 2014, Proceedings /

Published 2014

Table of Contents: “... System Development -- Agile Software Development in Practice -- Part Agile Challenges and Contracting...”
View full text

Electronic eBook

2

Advances in Visual Computing First International Symposium, ISVC 2005, Lake Tahoe, NV, USA, December 5-7, 2005, Proceedings /

Published 2005

Table of Contents: “... and Related Issues -- Dynamic Visualization of Spatially Referenced Information -- WYSIWYG-Tool Tips...”
View full text

Electronic eBook

3

Rules and Rule Markup Languages for the Semantic Web First International Conference, RuleML 2005, Galway, Ireland, November 10-12, 2005, Proceedings /

Published 2005

Table of Contents: “...-Contracts in Defeasible Logic -- Merging and Aligning Ontologies in dl-Programs -- A Visual Environment...”
View full text

Electronic eBook

4

Automated Technology for Verification and Analysis 8th International Symposium, ATVA 2010, Singapore, September 21-24, 2010, Proceedings /

Published 2010

Table of Contents: “... for Exceptions and Beyond -- Non-monotonic Refinement of Control Abstraction for Concurrent Programs...”
View full text

Electronic eBook

5

Advances in Artificial Intelligence: Theories, Models, and Applications 6th Hellenic Conference on AI, SETN 2010, Athens, Greece, May 4-7, 2010. Proceedings /

Published 2010

Table of Contents: “... Information Measures for Subclass Error-Correcting Output Codes Classification -- Conflict Directed Variable...”
View full text

Electronic eBook

6

Semantic Web Rules International Symposium, RuleML 2010, Washington, DC, USA, October 21-23, 2010, Proceedings /

Published 2010

Table of Contents: “... Contextual Reasoning in Ambient Intelligence -- Enhancing a Smart Space with Answer Set Programming...”
View full text

Electronic eBook

7

Emerging Technologies for Information Systems, Computing, and Management

Published 2013

Table of Contents: “... -- The Self-adapted Taxi Dispatch Platform Based on Geographic Information System -- Contract-based Combined...”
View full text

Electronic eBook

8

Model-Driven Engineering Languages and Systems 17th International Conference, MODELS 2014, Valencia, Spain, September 283– October 4, 2014. Proceedings /

Published 2014

Table of Contents: “... of Synchronous Distributed Applications -- Environment-Centric Contracts for Design of Cyber-Physical Systems...”
View full text

Electronic eBook

9

Proceedings of International Conference on Computer Science and Information Technology CSAIT 2013, September 21-23, 2013, Kunming, China /

Published 2014

Table of Contents: “... Cryptographic Mechanisms -- Wormhole Detection Algorithm Based on RTT and Neighborhood Information -- Intrusion...”
View full text

Electronic eBook

10

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

Published 2010

Table of Contents: “... for Embedded Systems: The Octopus Toolset -- Contract-Based Slicing -- Worst-Case Traversal Time (WCTT...”
View full text

Electronic eBook

11

Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, Oc...

Published 2014

Table of Contents: “... -- Programming with Actors in Java 8 -- Contracts in CML -- Distributed Energy Management Case Study: A Formal...”
View full text

Electronic eBook

12

Advances in Grid Computing - EGC 2005 European Grid Conference, Amsterdam, The Netherlands, February 14-16, 2005, Revised Selected Papers /

Published 2005

Table of Contents: “... Production on the Grid -- High Throughput Computing for Spatial Information Processing (HIT-SIP) System...”
View full text

Electronic eBook

13

Business Process Management Workshops BPM 2009 International Workshops, Ulm, Germany, September 7, 2009, Revised Papers /

Published 2010

Table of Contents: “... -- Flexible Multi-dimensional Visualization of Process Enactment Data -- Autonomous Optimization of Business...”
View full text

Electronic eBook

14

Exploring Services Science First International Conference, IESS 2010, Geneva, Switzerland, February 17-19, 2010, Revised Papers /

Published 2010

Table of Contents: “... of Adaptable Visualization Services: Application to Cooperation Support Services System in the AEC Sector...”
View full text

Electronic eBook

15

Business Process Management 3rd International Conference, BPM 2005, Nancy, France, September 5-8, 2005, Proceedings /

Published 2005

Table of Contents: “... Based Logs -- Behavior Based Integration of Composite Business Processes -- Visualization Support...”
View full text

Electronic eBook

16

Applications of Graph Transformations with Industrial Relevance Third International Symposium, AGTIVE 2007, Kassel, Germany, October 10-12, 2007, Revised Selected and Invited Paper...

Published 2008

Table of Contents: “... Visual Contracts -- Transforming Scene Graphs Using Triple Graph Grammars – A Practice Report -- Using...”
View full text

Electronic eBook

17

Rule Representation, Interchange and Reasoning on the Web International Symposium, RuleML 2008, Orlando, FL, USA, October 30-31, 2008. Proceedings /

Published 2008

Table of Contents: “... and Applications in Policies, Electronic Contracts and Security -- Abductive Workflow Mining Using Binary...”
View full text

Electronic eBook

18

The Semantic Web: Research and Applications 4th European Semantic Web Conference, ESWC 2007, Innsbruck, Austria, June 3-7, 2007, Proceedings /

Published 2007

Table of Contents: “... in Information Retrieval, Inference, and Visualization in the Semantic Web -- Semantic Turkey: A Semantic...”
View full text

Electronic eBook

19

SOFSEM 2005: Theory and Practice of Computer Science 31st Conference on Current Trends in Theory and Practice of Computer Science, Liptovský Ján, Slovakia, January 22-28, 2005, Pro...

Published 2005

Table of Contents: “... for Searching and Maintaining the Information Space -- Architecture of a Business Framework for the .NET...”
View full text

Electronic eBook

20

Advances in Artificial Intelligence - IBERAMIA 2010 12th Ibero-American Conference on AI, Bahía Blanca, Argentina, November 1-5, 2010, Proceedings /

Published 2010

Table of Contents: “... Algorithm with Path Relinking for the p-Median Problem -- Information, Integration and Extraction -- Using...”
View full text

Electronic eBook

Narrow Search