5180 search results - page 187 / 1036 » Concurrency, Time, and Constraints |
182
click to vote
ISPAN
1997
IEEE
15 years 10 months ago
1997
IEEE
This paper presents a strategy for efficiently rendering time-varying volume data on a distributed-memory parallel computer. Visualizing time-varying volume data take both large s...
142
click to vote
HICSS
2006
IEEE
16 years 19 days ago
2006
IEEE
Large enterprises in application domains such as finance, banking, travel services, and hospital management use business processes for their day-to-day business. An integral part ...
156
click to vote
FDL
2007
IEEE
16 years 28 days ago
2007
IEEE
This article introduces the Time Model subprofile of MARTE, a new OMG UML Profile dedicated to Modeling and Analysis of Real-Time and Embedded systems. After a brief presentatio...
154
click to vote
RTS
2002
15 years 6 months ago
2002
In real-time computing systems, timing constraints imposed on application tasks are typically guaranteed off line using schedulability tests based on
185
click to vote
DEDS
1998
15 years 6 months ago
1998
In this paper, timed Petri nets are used to model and control hybrid systems. Petri nets are used instead of finite automata primarily because of the advantages they offer in de...