941 search results - page 97 / 189 » Haskell-Coloured Petri Nets |
ICCS
2004
Springer
15 years 3 months ago
2004
Springer
Abstract: An application of the method suitable for modelling and control of general discrete event dynamic systems (DEDS) to special kinds of communication systems is presented in...
ICWL
2004
Springer
15 years 3 months ago
2004
Springer
This paper presents an e-Learning Web-reachable hypermedia system as the foundation of a course content development toolset. Course content, developed in XML, is stored in native X...
ACSD
2003
IEEE
15 years 3 months ago
2003
IEEE
This paper presents a synthesis approach for reactive systems that aims at minimizing the overhead introduced by the operating system and the interaction among the concurrent task...
ICCS
2003
Springer
15 years 3 months ago
2003
Springer
Abstract. This paper focuses on an XML-based framework for the description of grid environments and complex grid applications. A so-called Grid Job Handler is used to manage these ...
ICRA
2002
IEEE
15 years 2 months ago
2002
IEEE
This paper introduces a modular modeling approach for distributed production systems, considering production and maintenance processes synchronization. Thus, production job shop, p...