675 search results - page 40 / 135 » A Constraint-Driven Executable Model of Dynamic System Recon... |
135
click to vote
TSMC
1998
15 years 2 months ago
1998
—The paper discusses how Petri nets may be used for the qualitative modeling of physical systems. The qualitative state of a system is represented by the marking of the net. The ...
145
click to vote
HPCA
2011
IEEE
14 years 7 months ago
2011
IEEE
As the web becomes the platform of choice for execution of more complex applications, a growing portion of computation is handed off by developers to the client side to reduce net...
133
click to vote
EUROSYS
2007
ACM
15 years 7 months ago
2007
ACM
As information technology (IT) administration becomes increasingly complex, workflow technologies are gaining popularity for IT automation. Writing correct workflow programs is no...
126
click to vote
CASCON
1996
15 years 4 months ago
1996
The correct and ecient management of data in distributed databases or mobile computing environments is dicult. Communication disruptions within such systems render the execution o...
148
click to vote
HPDC
1998
IEEE
15 years 7 months ago
1998
IEEE
In this paper, we argue for the power of providing a common set of OS services to wide area applications, including mechanisms for resource discovery, a global namespace, remote p...