3468 search results - page 107 / 694 » An open logical framework |
174
click to vote
CONCUR
2001
Springer
15 years 5 months ago
2001
Springer
In order to model the behaviour of open concurrent systems by means of Petri nets, we introduce open Petri nets, a generalization of the ordinary model where some places, designate...
140
click to vote
CCS
2009
ACM
15 years 7 months ago
2009
ACM
Open distributed systems such as service oriented architecture and cloud computing have emerged as promising platforms to deliver software as a service to users. However, for many...
107
Voted
PVM
2005
Springer
15 years 6 months ago
2005
Springer
Abstract. Component architectures provide a useful framework for developing an extensible and maintainable code base upon which largescale software projects can be built. Component...
105
click to vote
FECS
2007
15 years 2 months ago
2007
In this paper we present an innovative prototype Open Source Teaching/Learning Collaboratory created at UC Merced that will provide the foundation for offering the vast majority of...
98
Voted
ER
2010
Springer
14 years 11 months ago
2010
Springer
Abstract. We address the challenge of adaptation in open systems. Open systems are characterized by interactions among autonomous and heterogeneous participants. In such systems, e...