716 search results - page 10 / 144 » Rule Formats for Timed Processes |
ANTSW
2010
Springer
13 years 5 months ago
2010
Springer
We present a set of experiments in which a robotic swarm manages to collectively explore the environment, forming a path to navigate between two target areas, which are too distant...
LWA
2007
13 years 9 months ago
2007
Nowadays, launching new products in short intervals is a critical factor for success to persist on the global market. At the same time many enterprises call for cost reduction in ...
LICS
1992
IEEE
13 years 11 months ago
1992
IEEE
The aim of this paper is to find the finest `observable' and `implementable' equivalence on concurrent processes. This is a part of a larger programme to develop a theor...
CIMCA
2006
IEEE
14 years 1 months ago
2006
IEEE
Business Process Management (BPM) is often a key component of the business change. Business rules, whether embedded within BPM or on their own, have begun playing an ever-increasi...
FORMATS
2009
Springer
14 years 2 months ago
2009
Springer
Embedded real-time systems are typically programmed in low-level languages which provide support for event-driven task processing and real-time interrupts. We show that the model c...