1866 search results - page 42 / 374 » Flexibly Interleaving Processes |
SAC
2010
ACM
15 years 4 months ago
2010
ACM
We study the fifo and causal multicast problem, two group-communication abstractions that deliver messages in an order consistent with their context. With fifo multicast, the co...
DBSEC
2006
14 years 11 months ago
2006
Access control is a crucial concern to build secure IT systems and, more specifically, to protect the confidentiality of information. However, access control is necessary, but not ...
GEOINFO
2003
14 years 11 months ago
2003
Abstract. One of the most important features in an urban geographic information system is the ability to locate addresses, in any form employed by the population, in a quick and ef...
GECCO
1999
Springer
15 years 2 months ago
1999
Springer
Top-down or analytical provers based on the connection tableau calculus are rather powerful, yet have notable shortcomings regarding redundancy control. A well-known and successfu...
SERP
2008
14 years 11 months ago
2008
In aspect-oriented model driven engineering (AOMDE), a software design model consists of a primary model that describes the business logic of the application and a set of aspect m...