1380 search results - page 143 / 276 » Reasoning about Input-Output Modeling of Dynamical Systems |
120
click to vote
CORR
2006
Springer
15 years 3 months ago
2006
Springer
Bipolar synchronization systems (BP-systems) constitute a class of coloured Petri nets, well suited for modelling the control flow of discrete dynamical systems. Every BP-system ha...
125
click to vote
GRID
2007
Springer
15 years 9 months ago
2007
Springer
— Currently deployed grids gather together thousands of computational and storage resources for the benefit of a large community of scientists. However, the large scale, the wid...
229
click to vote
SPAA
2005
ACM
15 years 8 months ago
2005
ACM
The page migration problem is one of subproblems of data management in networks. It occurs in a distributed network of processors sharing one indivisible memory page of size D. Du...
121
click to vote
ENTCS
2006
15 years 3 months ago
2006
This paper describes a Java-based framework for the development of componentbased software systems supporting the specification of the logic of component interactions as a first-c...
105
click to vote
JUCS
2008
15 years 3 months ago
2008
Abstract: This paper describes a Java-based framework for developing componentbased software systems supporting adaptation with logic laws and considering component interactions as...