Sciweavers

1525 search results - page 101 / 305
» POSD-a notation for presenting complex systems of processes
Sort
View
159
Voted
PDCAT
2007
Springer
15 years 10 months ago
Grid Unit: A Self-Managing Building Block for Grid System
—Grid system software is inherently complex, hard to build and maintain. In this paper, we propose a selfmanaging building block: Grid Unit, which facilitates constructing Grid s...
Jianfeng Zhan, Lei Wang, Ming Zou, Hui Wang, Shuan...
131
Voted
KBSE
2003
IEEE
15 years 9 months ago
Semi-Automatic Fault Localization and Behavior Verification for Physical System Simulation Models
Mathematical modeling and simulation of complex physical systems are emerging as key technologies in engineering. Modern approaches to physical system simulation allow users to sp...
Peter Bunus, Peter Fritzson
HPCN
2000
Springer
15 years 7 months ago
Modelling Control Systems in an Event-Driven Coordination Language
The paper presents the implementation of a railway control system, as a means of assessing the potential of coordination languages to be used for modelling software architectures f...
Theophilos A. Limniotes, George A. Papadopoulos
120
Voted
ENTCS
2006
120views more  ENTCS 2006»
15 years 4 months ago
Timers for Distributed Systems
We deal with temporal aspects of distributed systems, introducing and studying a new model called timed distributed -calculus. This model extends distributed -calculus with timers...
Gabriel Ciobanu, Cristian Prisacariu
PRICAI
2010
Springer
15 years 2 months ago
Towards Artificial Systems: What Can We Learn from Human Perception?
Research in learning algorithms and sensor hardware has led to rapid advances in artificial systems over the past decade. However, their performance continues to fall short of the ...
Heinrich H. Bülthoff, Lewis L. Chuang