155 search results - page 2 / 31 » Statecharts in the making: a personal account |
FDG
2009
ACM
14 years 1 months ago
2009
ACM
Passengers pay attention to the landscape as they move through the environment. We suggest a new type of applications, which adds to that experience. It consider their motion and ...
AIME
2011
Springer
12 years 7 months ago
2011
Springer
Helping someone who is depressed can be very important to the depressed person. When someone is experiencing depression, he or she frequently feels all alone. A number of supportiv...
CCR
2002
13 years 7 months ago
2002
Accurate network traffic measurement is required for accounting, bandwidth provisioning and detecting DoS attacks. These applications see the traffic as a collection of flows they...
WPES
2005
ACM
14 years 27 days ago
2005
ACM
This paper introduces a novel approach for augmenting attributebased access control systems in a way that allows them to offer fully anonymous access to resources while at the sam...
ATAL
2005
Springer
14 years 27 days ago
2005
Springer
We present dcl-pc: a dynamic logic of delegation and cooperation. The logical foundation of dcl-pc is cl-pc, a logic for reasoning about cooperation in which the powers of agents ...