Sciweavers

1631 search results - page 86 / 327
» Classifying Software Components Using Design Characteristics
Sort
View
ENTCS
2006
231views more  ENTCS 2006»
13 years 10 months ago
SaveCCM: An Analysable Component Model for Real-Time Systems
Component based development is a promising approach for embedded systems. Typical for embedded software is the presence of resource constraints in multiple dimensions. An essentia...
Jan Carlson, John Håkansson, Paul Pettersson
DEXAW
2006
IEEE
122views Database» more  DEXAW 2006»
14 years 4 months ago
Agent-Based Petroleum Offshore Monitoring Using Sensor Networks
This paper investigates the architecture and design of agent-based sensor networks for petroleum offshore monitoring. A few challenges to monitor the reservoir, wellbore and wellh...
Sajid Hussain, Md. Rafiqul Islam, Elhadi Shakshuki...
CBSE
2010
Springer
14 years 2 months ago
A Three-Tier Approach for Composition of Real-Time Embedded Software Stacks
Abstract. Many component models and frameworks have been proabstract and capture concerns from Real-Time and Embedded application domains, based on high-level component-based appro...
Frédéric Loiret, Lionel Seinturier, ...
ICSE
2004
IEEE-ACM
14 years 10 months ago
Assume-Guarantee Verification of Source Code with Design-Level Assumptions
Model checking is an automated technique that can be used to determine whether a system satisfies certain required properties. To address the "state explosion" problem a...
Dimitra Giannakopoulou, Corina S. Pasareanu, Jamie...
CHI
1993
ACM
14 years 2 months ago
A design space for multimodal systems: concurrent processing and data fusion
Multimodal interaction enables the user to employ different modalities such as voice, gesture and typing for communicating with a computer. This paper presents an analysis of the ...
Laurence Nigay, Joëlle Coutaz