Sciweavers

1457 search results - page 20 / 292
» Extending Time Management Support for Multi-agent Systems
Sort
View
SE
2008
13 years 10 months ago
TIME - Tracking Intra- and Inter-Model Evolution
Abstract: Modern software development approaches, especially the model-driven approaches, heavily rely on the use of models during the whole development process. With the increasin...
Maximilian Kögel
KBSE
2006
IEEE
14 years 2 months ago
Concurrent Engineering support in Software Engineering
The evolution of Software Engineering methodology, from waterfall to spiral, from spiral to agile, indicates that high concurrency, iterative development and short cycles are key ...
Jacky Estublier, Sergio Garcia
WSC
1997
13 years 10 months ago
Real Time Discrete Event Simulation of a PCB Production System for Operational Support
The purpose of this paper is to investigate how discrete event simulation can support the growing need of information in the production system. Agility, one key to future competit...
Mats Jackson, Christer Johansson
HASE
2007
IEEE
14 years 16 days ago
Validation Support for Distributed Real-Time Embedded Systems in VDM++
We present a tool-supported approach to the validation of system-level timing properties in formal models of distributed real-time embedded systems. Our aim is to provide system a...
John S. Fitzgerald, Simon Tjell, Peter Gorm Larsen...
ACSAC
2007
IEEE
14 years 3 months ago
Extending the Java Virtual Machine to Enforce Fine-Grained Security Policies in Mobile Devices
The growth of the applications and services market for mobile devices is currently slowed down by the lack of a flexible and reliable security infrastructure. The development and...
Iulia Ion, Boris Dragovic, Bruno Crispo