Sciweavers

1042 search results - page 83 / 209
» Can Aspects Implement Contracts
Sort
View
DEXAW
2007
IEEE
162views Database» more  DEXAW 2007»
14 years 4 months ago
Coordination in Service Oriented Architectures Using Transaction Processing Concepts
Service oriented architectures (SOAs) provide an architectural paradigm to develop and evolve enterprise information systems. A key feature of SOAs is compensability of services. ...
Peter Hrastnik, Werner Winiwarter
ICCCN
2007
IEEE
14 years 4 months ago
Design of a Network Service Architecture
— Considerable research efforts in the networking community are focused on defining a new Internet architecture that not only solves some of the problems of the current design, ...
Sivakumar Ganapathy, Tilman Wolf
NMR
2004
Springer
14 years 3 months ago
A plausible logic which detects loops
Unlike most non-monotonic logics Plausible Logic was designed from the very beginning with computer implementation in mind. But one aspect of implementation was neglected, namely ...
David Billington
PADL
2004
Springer
14 years 3 months ago
Observing Functional Logic Computations
Abstract. A lightweight approach to debugging functional logic programs by observations is presented, implemented for the language Curry. The Curry Object Observation System (COOSy...
Bernd Brassel, Olaf Chitil, Michael Hanus, Frank H...
ICEIS
2002
IEEE
14 years 3 months ago
Managing Uncertain Trajectories of Moving Objects with Domino
: This work describes the features of the DOMINO (Database fOr MovINg Objects) system, which brings several novelties to the problem of managing moving objects databases. Our robus...
Goce Trajcevski, Ouri Wolfson, Hu Cao, Hai Lin, Fe...