1410 search results - page 57 / 282 » An operational approach to the design of workflow systems |
125
click to vote
ICCS
2004
Springer
15 years 7 months ago
2004
Springer
The Knowledge Agent Mediation Language (KNAML) is designed for use in multi-agent reasoning systems. Like conceptual graphs, KNAML represents knowledge using concepts, relations, a...
140
click to vote
SDL
2007
15 years 3 months ago
2007
Abstract. OpenComRTOS is one of the few Real-Time Operating Systems (RTOS) for embedded systems that was developed using formal modeling techniques. The goal was to obtain a proven...
135
click to vote
ICSOC
2004
Springer
15 years 7 months ago
2004
Springer
Service-oriented computing is meant to support loose relationships between organisations: Collaboration procedures on the application-level translate to interaction processes via ...
114
Voted
COMSIS
2010
14 years 11 months ago
2010
This paper presents a novel computer-aided design system which uses a computational approach to producing 3D images for stimulating creativity of designers. It introduces the genet...
111
click to vote
EDBT
2008
ACM
16 years 1 months ago
2008
ACM
Data Stream Management Systems (DSMSs) must support optimized execution scheduling of multiple continuous queries on massive, and frequently bursty, data streams. Previous approac...