443 search results - page 40 / 89 » Relations in Concurrency |
APN
2007
Springer
14 years 3 months ago
2007
Springer
In this paper we develop a theory for the region-based synthesis of system models given as place/transition-nets with weighted inhibitor arcs (ptinets) from sets of scenarios descr...
CONCURRENCY
2010
13 years 7 months ago
2010
The cancer Biomedical Informatics Grid (caBIG) is revolutionizing the way medical researchers share information and collaborate. A key to caBIG's continued success will be in...
HYBRID
2004
Springer
14 years 2 months ago
2004
Springer
A general notion of bisimulation is studied for dynamical systems. An algebraic characterization of bisimulation together with an algorithm for computing the maximal bisimulation r...
EAGC
2003
Springer
14 years 2 months ago
2003
Springer
: Grids are gaining more importance in this era of Internet technology to maximize the use of resources such as hardware and software infrastructure. The grid provides a platform t...
ECRTS
2007
IEEE
14 years 24 days ago
2007
IEEE
It is well known that the performance of computer controlled systems is heavily affected by delays and jitter occurring in the control loops, which are mainly caused by the interf...