7961 search results - page 448 / 1593 » Input-Output Model Programs |
162
click to vote
VMCAI
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. The paper presents methods for model checking a class of possibly infinite state concurrent programs using various types of bi-simulation reductions. The proposed method...
177
click to vote
FIDJI
2003
Springer
15 years 11 months ago
2003
Springer
This paper introduces a new programming model for distributed systems, distributed composite objects (DCO), to meet efficient implementation, transparency, and performance demands ...
139
Voted
IFIP
2009
Springer
15 years 11 months ago
2009
Springer
Performance management (PM) is a key function of virtual organization (VO) management. A large set of PM indicators has been proposed and evaluated within the context of virtual br...
161
click to vote
IFIP
2001
Springer
15 years 11 months ago
2001
Springer
This paper presents an action case study of the process by which the Swedish computer game developer Daydream Software planned, developed, and implemented the business model for i...
153
click to vote
ECRTS
1999
IEEE
15 years 10 months ago
1999
IEEE
We give timed automaton models for a class of Programmable Logic Controller (PLC) applications, that are programmed in a simple fragment of the language Instruction Lists as defin...