159 search results - page 27 / 32 » Semantics of Termination |
162
click to vote
JUCS
2007
15 years 5 months ago
2007
Abstract: A model (consisting of rv-systems), a core programming language (for developing rv-programs), several specification and analysis techniques appropriate for modeling, pro...
148
click to vote
SIGCOMM
2009
ACM
15 years 12 months ago
2009
ACM
Service oriented access in a multi-application, multi-access network environment poses interesting research challenges. One of these challenges refers to cross-layer interoperabil...
151
click to vote
EDOC
2006
IEEE
15 years 11 months ago
2006
IEEE
The correctness of business process models is of paramount importance for the application on an enterprise level. A severe problem is that several languages for business process m...
136
click to vote
POLICY
2004
Springer
15 years 10 months ago
2004
Springer
We study the specification of access control policy in large-scale distributed systems. Our work on real-world policies has shown that standard policy idioms such as role hierarc...
142
click to vote
IDEAS
1998
IEEE
15 years 9 months ago
1998
IEEE
Complex applications consist of a large set of transactions which are interrelated. There are different kinds of dependencies among transactions of a complex application, e.g. ter...