3971 search results - page 334 / 795 » On the Use of Properties in Java Applications |
145
click to vote
ICDCSW
2007
IEEE
16 years 1 months ago
2007
IEEE
In this paper we are concerned with disseminating high-volume data streams to many simultaneous context-aware applications over a low-bandwidth wireless mesh network. For bandwidt...
175
click to vote
SASO
2008
IEEE
16 years 1 months ago
2008
IEEE
—Distance sensitivity is a locality concept that is useful for designing scalable wireless sensor network applications. In this paper, we formally define distance sensitivity an...
185
click to vote
CAV
2001
Springer
15 years 11 months ago
2001
Springer
Model Checking is an algorithmic technique to determine whether a temporal property holds of a program. For linear time properties, a model checker produces a counterexample comput...
164
click to vote
WETICE
2000
IEEE
15 years 11 months ago
2000
IEEE
In this paper, we explore some of the new opportunities for distributed collaborative applications that emerge from the use of XML as a data specification language. We present two...
171
click to vote
CN
2006
15 years 6 months ago
2006
For over a decade, the Nash Bargaining Solution (NBS) concept from cooperative game theory has been used in networks to share resources fairly. Due to its many appealing propertie...