2131 search results - page 362 / 427 » Multi-Agent System Development: Design, Runtime, and Analysi... |
VSTTE
2005
Springer
14 years 2 months ago
2005
Springer
The interplay back and forth between software model checking and hardware model checking has been fruitful for both. Originally intended for the analysis of concurrent software, mo...
IEEEARES
2010
IEEE
14 years 4 months ago
2010
IEEE
—Collaborations by the use of inter-organizational business processes can help companies to achieve a competitive edge over competing businesses. Typically, these collaborations ...
DEBS
2007
ACM
13 years 11 months ago
2007
ACM
This paper describes an approach to detect unknown event patterns. In this context, an event is not only something that happens, but also something that can be analysed. This task...
WOWMOM
2006
ACM
14 years 3 months ago
2006
ACM
Delay tolerant and mobile ad hoc networks, present considerable challenges to the development of protocols and systems. In particular, the challenge of being able to cope with the...
DSOM
1999
Springer
14 years 1 months ago
1999
Springer
: Solutions in the network and service management layers of telecommunications management architectures are currently fragmented both in terms of standards and products. It is ofte...