3733 search results - page 270 / 747 » Logics of communication and change |
166
click to vote
SIGMOD
2000
ACM
15 years 11 months ago
2000
ACM
The coming years will witness dramatic advances in wireless communications as well as positioning technologies. As a result, tracking the changing positions of objects capable of ...
160
click to vote
IFM
2000
Springer
15 years 10 months ago
2000
Springer
State-based refinement relations have been developed for use on the Object-Z components in an integrated Object-Z / CSP specification. However this refinement methodology does not ...
148
click to vote
UML
2000
Springer
15 years 10 months ago
2000
Springer
UML's current definition of the role concept comes with many problems, not the least being that it is difficult to understand and communicate. This paper proposes a revised UM...
181
click to vote
APVIS
2008
15 years 8 months ago
2008
With the success of open source software projects, such as Apache and Mozilla, comes the opportunity to study the development process. In this paper, we present StarGate: a novel ...
183
click to vote
ISCAPDCS
2007
15 years 8 months ago
2007
The coverage problem is of great interest for many sensor network applications, for example, detection of intruders in the sensor field. Topological changes in sensor networks ma...