350 search results - page 22 / 70 » From control effects to typed continuation passing |
ISMDA
2005
Springer
14 years 2 months ago
2005
Springer
Abstract. Ontology is the talk of the day in the medical informatics comm.unity. Its relevant role in the design and implementation of information systems in health care is now wid...
CONCUR
2006
Springer
14 years 14 days ago
2006
Springer
We describe an incomplete but sound and efficient livelock freedom test for infinite state asynchronous reactive systems. The method s a system into a set of simple control flow cy...
SRDS
2005
IEEE
14 years 2 months ago
2005
IEEE
We propose and evaluate a novel framework for enforcing global coordination and control policies over interacting software components in enterprise computing environments. This fra...
ECOOPW
1998
Springer
14 years 23 days ago
1998
Springer
PrincipalDomain is an administrative scoping construct for establishing security policies based on the principals invoking object services that may entail objects moving around a ...
GECCO
2007
Springer
14 years 2 months ago
2007
Springer
Dividing the set of nodes into clusters in the well-known traveling salesman problem results in the generalized traveling salesman problem which seeking a tour with minimum cost p...