1888 search results - page 26 / 378 » Automatic Implementation of Distributed Systems Formal Speci... |
122
click to vote
WER
2001
Springer
15 years 6 months ago
2001
Springer
Workflow technology has reached a reasonable degree of maturity, with a number of both research prototypes and commercial systems available. However, methodological issues have rec...
120
Voted
AUSAI
2006
Springer
15 years 6 months ago
2006
Springer
Abstract. In order to apply nonmonotonic logics for specifying industrial automation controllers, we define (1) a method to extend atemporal nonmonotonic logics with temporal opera...
135
click to vote
PDSE
1998
15 years 3 months ago
1998
The development of correct OO distributed software is a daunting task as soon as the distributed interactions are not trivial. This is due to the inherent complexity of distribute...
174
Voted
CORR
2011
Springer
14 years 6 months ago
2011
Springer
Despite the extensive use of the agent technology in the Supply Chain Management field, its integration with Advanced Planning and Scheduling (APS) tools still represents a promis...
123
click to vote
ICEBE
2005
IEEE
15 years 8 months ago
2005
IEEE
Service-Oriented Computing (SOC) and Web Services (WS) provide a flexible computing platform for electronic business and commerce. Introducing policy-based computing to service-or...