9370 search results - page 1699 / 1874 » An Abstract Notion of Application |
166
click to vote
INFOCOM
2007
IEEE
16 years 5 days ago
2007
IEEE
Abstract— Service availability is one of the most closely scrutinized metrics in offering network services. It is important to costeffectively provision a managed and differentia...
158
click to vote
IFM
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. We present a framework for model checking concurrent software systems which incorporates both states and events. Contrary to other state/event approaches, our work also i...
187
click to vote
MIDDLEWARE
2004
Springer
15 years 11 months ago
2004
Springer
In recent years, the gossip-based communication model in large-scale distributed systems has become a general paradigm with important applications which include information dissemi...
231
click to vote
DAC
2003
ACM
15 years 11 months ago
2003
ACM
Instruction set simulators are critical tools for the exploration and validation of new programmable architectures. Due to increasing complexity of the architectures and timeto-ma...
169
click to vote
CAISE
2003
Springer
15 years 11 months ago
2003
Springer
Abstract. Multi-Agent Systems (MAS) architectures are gaining popularity over traditional ones for building open, distributed or evolving software. To formally define system archit...