103 search results - page 18 / 21 » Dependability Analysis and Verification for Connected System... |
MATES
2005
Springer
15 years 2 months ago
2005
Springer
Because there is still no agreed-upon global ontology, Web services supplied by different providers typically have individual and unique semantics, described by independently devel...
BMCBI
2010
14 years 9 months ago
2010
Background: The amount of available biological information is rapidly increasing and the focus of biological research has moved from single components to networks and even larger ...
ENTCS
2008
14 years 9 months ago
2008
The verification of quantitative aspects like performance and dependability by means of model checking has become an important and vivid area of research over the past decade. An ...
INFOCOM
2002
IEEE
15 years 2 months ago
2002
IEEE
-- We consider power and server allocation in a multi-beam satellite downlink which transmits data to N different ground locations over N time-varying channels. Packets destined fo...
82
Voted
ATAL
2006
Springer
15 years 1 months ago
2006
Springer
A multi-agent system can be analyzed and specified as an organization consisting of roles and their relations. The performance of an organization depends on many factors among whi...