Sciweavers

1655 search results - page 97 / 331
» State, Event, Time and Diagram in System Modeling
Sort
View
IFM
2007
Springer
245views Formal Methods» more  IFM 2007»
16 years 9 days 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....
IPPS
2000
IEEE
15 years 10 months ago
A Framework for Embedded Real-Time System Design
This paper describes a framework for parametric analysis of real-time systems based on process algebra. The Algebra of Communicating Shared Resources ACSR has been extended to AC...
Jin-Young Choi, Hee-Hwan Kwak, Insup Lee
E4MAS
2004
Springer
15 years 10 months ago
Modelling Environments for Distributed Simulation
Abstract. Decentralised, event-driven distributed simulation is particularly suitable for modelling systems with inherent asynchronous parallelism, such as agentbased systems. Howe...
Michael Lees, Brian Logan, Rob Minson, Ton Oguara,...
MC
2001
201views Computer Science» more  MC 2001»
15 years 7 months ago
Awareness in Context-Aware Information Systems
The paper describes the idea of bringing awareness to nomadic users. Based on a discussion of different context models and approaches to model context, several scenarios for aware...
Tom Gross, Marcus Specht
DEBS
2008
ACM
15 years 8 months ago
Event-based constraints for sensornet programming
We propose a sensornet programming model based on declarative spatio-temporal constraints on events only, not sensors. Where previous approaches conflate events and sensors becaus...
Jie Mao, John Jannotti, Mert Akdere, Ugur Ç...