Sciweavers

3168 search results - page 193 / 634
» Computing Event Dependencies in System Designs and Programs
Sort
View
HYBRID
2004
Springer
15 years 12 months ago
Stochastic Hybrid Systems: Application to Communication Networks
We propose a model for Stochastic Hybrid Systems (SHSs) where transitions between discrete modes are triggered by stochastic events much like transitions between states of a contin...
João P. Hespanha
ISORC
2005
IEEE
16 years 1 days ago
A GTRBAC Based System for Dynamic Workflow Composition and Management
In this paper, we propose an architecture for adaptive real-time workflow-based collaborative system. Such a system is needed to support real-time communication and sharing of inf...
Basit Shafiq, Arjmand Samuel, Halima Ghafoor
ISIPTA
1999
IEEE
108views Mathematics» more  ISIPTA 1999»
15 years 10 months ago
Coherent Models for Discrete Possibilistic Systems
We consider discrete possibilistic systems for which the available information is given by one-step transition possibilities and initial possibilities. These systems can be repres...
Hugo J. Janssen, Gert De Cooman, Etienne E. Kerre
DAC
2002
ACM
16 years 7 months ago
An integer linear programming based approach for parallelizing applications in On-chip multiprocessors
With energy consumption becoming one of the first-class optimization parameters in computer system design, compilation techniques that consider performance and energy simultaneous...
Ismail Kadayif, Mahmut T. Kandemir, Ugur Sezer
DALT
2009
Springer
15 years 9 months ago
Ontology and Time Evolution of Obligations and Prohibitions Using Semantic Web Technology
The specification and monitoring of conditional obligations and prohibitions with starting points and deadlines is a crucial aspect in the design of open interaction systems. In th...
Nicoletta Fornara, Marco Colombetti