2776 search results - page 346 / 556 » System-Level Abstraction Semantics |
169
click to vote
SEMWEB
2005
Springer
16 years 2 days ago
2005
Springer
Abstract. Coordination is the process of managing the possible interactions between activities and processes; a mechanism to handle such interactions is known as a coordination reg...
178
click to vote
CAISE
2004
Springer
15 years 12 months ago
2004
Springer
tween documents. They should allow for an abstract representation of data which resembles the way they are actually perceived and used in the real world, thus shortening (with resp...
165
click to vote
ESORICS
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. Enterprise privacy enforcement allows enterprises to internally enforce a privacy policy that the enterprise has decided to comply to. To facilitate the compliance with d...
168
click to vote
GI
2004
Springer
15 years 12 months ago
2004
Springer
Abstract: Optimizations in compilers are the most error-prone phases in the compilation process. Since correct compilers are a vital precondition for software correctness, it is ne...
157
click to vote
LPNMR
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. This paper studies computational issues related to the problem of reasoning about actions and change (RAC) by exploiting its link with the Answer Set Programming paradigm...