941 search results - page 133 / 189 » The Parking Permit Problem |
CAV
2010
Springer
15 years 3 months ago
2010
Springer
We present a class of relaxed memory models, defined in Coq, parameterised by the chosen permitted local reorderings of reads and writes, and the visibility of inter- and intra-pr...
ICDE
2007
IEEE
15 years 3 months ago
2007
IEEE
In smart item environments, multitude of sensors are applied to capture data about product conditions and usage to guide business decisions as well as production automation proces...
ACSAC
2004
IEEE
15 years 3 months ago
2004
IEEE
We have developed a mechanism which prevents abuse of trusted Java applets, such as digitally signed applets. A signed applet is usually permitted by a user to perform certain fun...
ATAL
2006
Springer
15 years 3 months ago
2006
Springer
Agent-based modeling is a powerful tool for systems modeling. Instantiating each domain entity with an agent permits us to capture many aspects of system dynamics and interactions...
CSFW
2004
IEEE
15 years 3 months ago
2004
IEEE
In many systems, items of information have owners associated with them. An owner of an item of information may want the system to enforce a policy that restricts use of that infor...