2268 search results - page 232 / 454 » The Essence of Form Abstraction |
122
Voted
ZUM
2005
Springer
15 years 7 months ago
2005
Springer
Abstract. Web-based applications are the most common form of distributed systems that have gained a lot of attention in the past ten years. Today many of us are relying on scores o...
105
Voted
CAV
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. Separation Logic consists of a Boolean combination of predicates of the form vi ≥ vj +c where c is a constant and vi, vj are variables of some ordered infinite type li...
109
Voted
IPTPS
2004
Springer
15 years 7 months ago
2004
Springer
Structured peer-to-peer (p2p) overlay networks provide a decentralized, self-organizing substrate for distributed applicad support powerful abstractions such as distributed hash t...
141
click to vote
HICSS
2003
IEEE
15 years 7 months ago
2003
IEEE
We examine a knowledge representation architecture to support context interchange mediation. For autonomous receivers and sources sharing a common subject domain, the mediator’s...
108
click to vote
KBSE
2003
IEEE
15 years 7 months ago
2003
IEEE
A key problem in model checking open systems is environment modeling (i.e., representing the behavior of the execution context of the system under analysis). Software systems are ...