Sciweavers

2930 search results - page 67 / 586
» A Constructive Approach to the Design of Distributed Systems
Sort
View
ACAL
2007
Springer
14 years 1 months ago
A Principled Approach to Swarm-Based Wall-Building
Abstract. In this paper, we apply a theoretical swarm-generating technique to a system implementing cluster-based construction. The technique, known as swarm engineering consists o...
Lihan Lai, Jeff Manning, Jeannie Su, Sanza T. Kaza...
IFM
2007
Springer
245views Formal Methods» more  IFM 2007»
14 years 1 months ago
Co-simulation of Distributed Embedded Real-Time Control Systems
Development of computerized embedded control systems is difficult because it brings together systems theory, electrical engineering and computer science. The engineering and analys...
Marcel Verhoef, Peter Visser, Jozef Hooman, Jan F....
IADIS
2004
13 years 9 months ago
Constructing Scorm Compliant Course Based on High Level Petri Nets
With rapid development of the Internet, e-learning system has become more and more popular. Currently, to solve the issue of sharing and reusing of teaching materials in different...
Jun-Ming Su, Shian-Shyong Tseng, Chia-Yu Chen, Jui...
RTCSA
2005
IEEE
14 years 1 months ago
RTPS Middleware for Real-Time Distributed Industrial Vision Systems
Designing and constructing Real-Time Distributed Industrial Vision Systems (RT-DIVS) from scratch is very complicated task. RT-DIVS has Conflicting requirements such as reasonable...
Basem Almadani
FDL
2006
IEEE
14 years 1 months ago
Reusing Real-Time Systems Design Experience
To ensure correctness and performance of real-time embedded systems, early evaluation of properties is needed. Based on design experience for real-time systems and using the conce...
Oana Florescu, Jeroen Voeten, Marcel Verhoef, Henk...