2607 search results - page 247 / 522 » On the Architecture of System Verification Environments |
180
click to vote
PERCOM
2007
ACM
16 years 6 months ago
2007
ACM
Pervasive Computing envisions distributed applications that optimally leverage the resources present in their ever-changing execution environment. To ease the development of perva...
154
click to vote
CAISE
2003
Springer
15 years 12 months ago
2003
Springer
Understanding the performance and dynamic behavior of workflow is crucial in being able to modify, maintain, and improve it. A particularly difficult aspect of measuring the perfor...
156
click to vote
ICDCSW
2002
IEEE
15 years 11 months ago
2002
IEEE
The increasing popularity of information services that rely on content delivery in mobile environments motivates the need for a mobile push service—an efficient and flexible c...
214
click to vote
TCOS
2010
15 years 1 months ago
2010
With the increasing wealth of digital information stored on computer systems today, security issues have become increasingly important. In addition to attacks targeting the softwar...
149
click to vote
AOSE
2004
Springer
16 years 18 hour ago
2004
Springer
Abstract. Engineering non-trivial open multi-agent systems is a challenging task. Our research focusses on situated multi-agent systems, i.e. systems in which agents are explicitly...