575 search results - page 90 / 115 » Transition systems for designing and reasoning about norms |
120
click to vote
ZUM
1997
Springer
15 years 3 months ago
1997
Springer
We present a new formal OO method, called FOX, which is a synergetic combination of the semi-formal Fusion method and the formal specification language Object-Z. To manage complex...
102
click to vote
MOBISYS
2010
ACM
15 years 1 months ago
2010
ACM
We present Darwin, an enabling technology for mobile phone sensing that combines collaborative sensing and classification techniques to reason about human behavior and context on ...
RTSS
2003
IEEE
15 years 4 months ago
2003
IEEE
Preventing denial-of-service attacks in wireless sensor networks is difficult primarily because of the limited resources available to network nodes and the ease with which attacks...
117
click to vote
SIGMETRICS
2010
ACM
14 years 9 months ago
2010
ACM
Many network-management problems in large backbone networks need the answer to a seemingly simple question: where does a given IP packet, entering the network at a particular plac...
UIST
2010
ACM
14 years 9 months ago
2010
ACM
In this paper we introduce tag expression, a novel form of preference elicitation that combines elements from tagging and rating systems. Tag expression enables users to apply aff...