595 search results - page 90 / 119 » Representing and Executing Agent-Based Systems |
ICSE
2011
IEEE-ACM
14 years 2 months ago
2011
IEEE-ACM
A dependability case is an explicit, end-to-end argument, based on concrete evidence, that a system satisfies a critical property. We report on a case study constructing a depend...
CORR
2010
Springer
14 years 5 months ago
2010
Springer
As more and more multi-tier services are developed from commercial off-the-shelf components or heterogeneous middleware without source code available, both developers and administr...
IEEEPACT
2006
IEEE
15 years 4 months ago
2006
IEEE
Modeling and analysis of program behavior are at the foundation of computer system design and optimization. As computer systems become more adaptive, their efficiency increasingly...
PLDI
2005
ACM
15 years 4 months ago
2005
ACM
Ad-hoc networks of mobile devices such as smart phones and PDAs represent a new and exciting distributed system architecture. Building distributed applications on such an architec...
ICS
2005
Tsinghua U.
15 years 4 months ago
2005
Tsinghua U.
We present compiler techniques for translating OpenMP shared-memory parallel applications into MPI messagepassing programs for execution on distributed memory systems. This transl...