2473 search results - page 477 / 495 » The Logic of Communication Graphs |
124
Voted
HPDC
1998
IEEE
15 years 7 months ago
1998
IEEE
Development of portable network-aware applications demands an interface to the network that allows an application to obtain information about its execution environment. This paper...
136
Voted
FTRTFT
1998
Springer
15 years 7 months ago
1998
Springer
We present a compositional semantics of synchronous systems that captures both safety and progress properties of such systems. The fair synchronous transitions systems (fsts) mode...
133
Voted
DMSN
2007
ACM
15 years 7 months ago
2007
ACM
This paper assumes a set of n mobile sensors that move in the Euclidean plane as a swarm1 . Our objectives are to explore a given geographic region by detecting and aggregating sp...
165
Voted
ECOWS
2007
Springer
15 years 7 months ago
2007
Springer
Web services are self-contained, modular units of application logic which provide business functionality to other applications via Internet connections. Several models have been u...
114
Voted
ER
2007
Springer
15 years 7 months ago
2007
Springer
Abstract. Definitions of the concepts derived from the goal concept (including functional and nonfunctional goal, hardgoal, and softgoal) used in requirements engineering are discu...