955 search results - page 167 / 191 » Semantic Approach to Dynamic Coordination in Autonomous Syst... |
HICSS
2005
IEEE
14 years 2 months ago
2005
IEEE
Web services composition is becoming increasingly important as organizations are now getting ready to provide more complex service-based applications. Contemporary literature on t...
BIRTHDAY
2003
Springer
14 years 2 months ago
2003
Springer
Abstract. The explicit management of Quality of Service (QoS) of network connectivity, such as, e.g., working cost, transaction support, and security, is a key requirement for the ...
POPL
2010
ACM
14 years 6 months ago
2010
ACM
Many large software systems originate from untyped scripting language code. While good for initial development, the lack of static type annotations can impact code-quality and per...
ESOP
2009
Springer
14 years 3 months ago
2009
Springer
Abstract. Rely-guarantee is a well-established approach to reasoning about concurrent programs that use parallel composition. However, parallel composition is not how concurrency i...
IROS
2007
IEEE
14 years 3 months ago
2007
IEEE
— What would it be like if we could give our robot high level commands and it would automatically execute them in a verifiably correct fashion in dynamically changing environmen...