2702 search results - page 381 / 541 » Requirements Processes: An Experience Report |
208
click to vote
POPL
2010
ACM
15 years 9 months ago
2010
ACM
Angelic nondeterminism can play an important role in program development. It simplifies specifications, for example in deriving programs with a refinement calculus; it is the form...
206
click to vote
MOBISYS
2010
ACM
15 years 9 months ago
2010
ACM
Sensor networks have been conventionally defined as a network of sensor motes that collaboratively detect events and report them to a remote monitoring station. This paper makes a...
171
Voted
AIPS
2007
15 years 9 months ago
2007
In context-aware route planning, agents have to plan their route on a common infrastructure in such a way that plans made by other agents are not invalidated, and no conflicts ar...
155
click to vote
CNIS
2006
15 years 8 months ago
2006
Almost all current anti spam measures are reactive, filtering being the most common. But to react means always to be one step behind. Reaction requires to predict the next action ...
150
click to vote
SIGCOMM
2010
ACM
15 years 6 months ago
2010
ACM
RSSI is known to be a fickle indicator of whether a wireless link will work, for many reasons. This greatly complicates operation because it requires testing and adaptation to fin...