41 search results - page 6 / 9 » Synchronizing sequences on a class of unbounded systems usin... |
BPM
2004
Springer
14 years 1 months ago
2004
Springer
State-of-the-art systems engineering uses many models reflecting various aspects of the modeled system. A major task of system engineers is to ensure consistency between the many...
HT
1998
ACM
14 years 23 days ago
1998
ACM
This paper introduces XHMBS (the eXtended Hyperdocument Model Based on Statecharts) to support the formal specification of general hypermedia applications. XHMBS uses a novel form...
ECEASST
2006
13 years 8 months ago
2006
This paper contributes in two directions. First, several concepts of our matrix approach to graph transformation [1,2] such as coherence and minimal initial digraph are applied to ...
RTAS
2010
IEEE
13 years 7 months ago
2010
IEEE
—This article studies the scheduling of critical embedded systems, which consist of a set of communicating periodic tasks with constrained deadlines. Currently, tasks are usually...
ICCAD
1999
IEEE
14 years 25 days ago
1999
IEEE
In this paper, an internal design model called FunState (functions driven by state machines) is presented that enables the representation of different types of system components a...