513 search results - page 99 / 103 » Operational and abstract semantics of the query language G-L... |
ATAL
2008
Springer
14 years 11 months ago
2008
Springer
Intelligent agents designed to work in complex, dynamic environments must respond robustly and flexibly to environmental and circumstantial changes. An agent must be capable of de...
67
Voted
CAV
2009
Springer
15 years 10 months ago
2009
Springer
D-Finder tool implements a compositional method for the verification of component-based systems described in BIP language encompassing multi-party interaction. For deadlock detecti...
71
Voted
VLDB
2005
ACM
15 years 3 months ago
2005
ACM
A significant amount of information is stored in computer systems today, but people are struggling to manage their documents such that the information is easily found. XML is a de...
91
Voted
TASE
2008
IEEE
15 years 3 months ago
2008
IEEE
Abstract Web services choreography describes global models of service interactions among a set of participants. For an interaction to be executed, the participants taken part in it...
88
Voted
AGTIVE
2007
Springer
15 years 3 months ago
2007
Springer
Abstract. Business-driven development is a methodology for developing IT solutions that directly satisfy business requirements. At its core are business processes, which are usuall...