9210 search results - page 1401 / 1842 » Analyzing Real-Time Systems |
144
click to vote
WSC
2008
15 years 9 months ago
2008
This paper presents the design and development of a template for analyzing shaft construction projects. It is suitable for integration with the existing Tunneling template of the ...
177
click to vote
ATAL
2008
Springer
15 years 8 months ago
2008
Springer
Virtual Organizations (VOs) are becoming an increasingly important research topic in the field of Multi-Agent Systems (MAS). The problem of selecting suitable counterparts to inte...
186
click to vote
ATAL
2008
Springer
15 years 8 months ago
2008
Springer
In open societies such as multi-agent systems, it is important that coordination among the several actors is achieved efficiently. One economical way of capturing that aspiration ...
201
click to vote
ATVA
2008
Springer
15 years 8 months ago
2008
Springer
Model checking has proven to be a useful analysis technique not only for concurrent systems, but also for the genetic regulatory networks (Grns) that govern the functioning of livi...
165
click to vote
CAISE
2008
Springer
15 years 8 months ago
2008
Springer
The concept of Enterprise Application Integration (EAI) is widely used for integrating heterogeneous applications and systems by message-based communication. Typically, EAI servers...