Sciweavers

3024 search results - page 250 / 605
» Requirement Engineering in Service-Oriented System Engineeri...
Sort
View
EXPERT
2006
94views more  EXPERT 2006»
15 years 6 months ago
A Canonical Agent Model for Healthcare Applications
o address the need for canonical abstraction, we've adopted software engineering's concept of signatures--a technique for defining software patterns or invariant procedur...
John Fox, David Glasspool, Sanjay Modgil
EICS
2009
ACM
15 years 11 months ago
Adapting ubicomp software and its evaluation
We describe work in progress on tools and infrastructure to support adaptive component-based software for mobile devices— in our case, Apple iPhones. Our high level aim is ‘de...
Malcolm Hall, Marek Bell, Alistair Morrison, Stuar...
ASPLOS
2006
ACM
16 years 16 days ago
Issues in holistic system design
The coordination of layers in computer and software systems is one of the main challenges in designing such systems today. In this paper we consider Holistic System Design as a wa...
Julia L. Lawall, Christian W. Probst, Ulrik Pagh S...
SERA
2007
Springer
16 years 20 days ago
A Formal Approach to Test the Robustness of Embedded Systems using Behaviour Analysis
Robustness is an important feature required for embedded systems. This paper presents a methodology to test robustness of such systems. We investigate system behaviour aspects. We...
Antoine Rollet, Fares Saad-Khorchef
EMSOFT
2005
Springer
16 years 3 days ago
A GA-based scheduling method for FlexRay systems
An advanced communication system, the FlexRay system, has been developed for future automotive applications. It consists of time-triggered clusters, such as drive-by-wire in cars,...
Shan Ding, Naohiko Murakami, Hiroyuki Tomiyama, Hi...