Sciweavers

7080 search results - page 695 / 1416
» Designing High Integrity Systems Using Aspects
Sort
View
IEEESCC
2007
IEEE
16 years 1 months ago
A Distributed e-Healthcare System Based on the Service Oriented Architecture
Large-scale distributed systems, such as e-healthcare systems, are difficult to develop due to their complex and decentralized nature. The Service Oriented Architecture facilitat...
Firat Kart, Gengxin Miao, Louise E. Moser, P. M. M...
AAAI
2008
15 years 9 months ago
The Impact of Vertical Specialization on Hierarchical Multi-Agent Systems
Hierarchies are one of the most common organizational structures observed in multi-agent systems. In this paper we study vertical specialization as a reason for hierarchical struc...
Steven Okamoto, Paul Scerri, Katia P. Sycara
CBSE
2004
Springer
16 years 15 days ago
Introducing a Component Technology for Safety Critical Embedded Real-Time Systems
Safety critical embedded real-time systems represent a class of systems that has attracted relatively little attention in research addressing component based software engineering. ...
Kristian Sandström, Johan Fredriksson, Mikael...
RTS
2006
176views more  RTS 2006»
15 years 7 months ago
Verifying distributed real-time properties of embedded systems via graph transformations and model checking
Component middleware provides dependable and efficient platforms that support key functional, and quality of service (QoS) needs of distributed real-time embedded (DRE) systems. C...
Gabor Madl, Sherif Abdelwahed, Douglas C. Schmidt
CODES
2001
IEEE
15 years 10 months ago
A practical tool box for system level communication synthesis
This paper presents a practical approach to communication synthesis for hardware/software system specified as tasks communicating through lossless blocking channels. It relies on ...
Denis Hommais, Frédéric Pétro...