728 search results - page 137 / 146 » A Logical View of Choreography |
SACMAT
2009
ACM
14 years 2 months ago
2009
ACM
An access control system is often viewed as a state transition system. Given a set of access control policies, a general safety requirement in such a system is to determine whethe...
SCAM
2008
IEEE
14 years 2 months ago
2008
IEEE
—More and more current software systems rely on non trivial coordination logic for combining autonomous services typically running on different platforms and often owned by diffe...
PDP
2007
IEEE
14 years 2 months ago
2007
IEEE
Universal Plug and Play (UPnP) is a widely accepted standard for automatically detecting devices and services in a local area network as well as for describing and controlling the...
OOPSLA
2007
Springer
14 years 2 months ago
2007
Springer
Java bug finders perform static analysis to find implementation mistakes that can lead to exploits and failures; Java compilers perform static analysis for optimization. If Java...
SEMWEB
2007
Springer
14 years 2 months ago
2007
Springer
Abstract. Nowadays enterprises request information technologies that leverage structured and unstructured information for providing a single integrated view of business problems in...