306 search results - page 37 / 62 » From Scenarios to Timed Automata: Building Specifications fr... |
JCDL
2009
ACM
14 years 2 months ago
2009
ACM
The amount of scientific material available electronically is forever increasing. This makes reading the published literature, whether to stay up-to-date on a topic or to get up ...
BPM
2009
Springer
13 years 11 months ago
2009
Springer
Abstract. Enterprises are finding limitations with current modelling and hierarchical methodologies which have human agents as a key component. By requiring a priori knowledge of b...
ESWS
2007
Springer
14 years 1 months ago
2007
Springer
Traditional process support systems typically offer a static composition of atomic tasks to more powerful services. In the real world, however, processes change over time: busines...
IJWBC
2006
13 years 7 months ago
2006
: DYNAMO (Dynamic Architectural Memory Online) is an interactive platform to share ideas, knowledge and insights in the form of concrete building projects among designers in differ...
MM
1997
ACM
13 years 12 months ago
1997
ACM
–Large scale clustered continuous media (CM) servers deployed in applications like video-on-demand have high availability requirements. In the event of server failure, streams fr...