Sciweavers

ICECCS
2008
IEEE
87views Hardware» more  ICECCS 2008»
13 years 11 months ago
A Scalable Approach to Multi-style Architectural Modeling and Verification
Stephen Wong, Jing Sun, Ian Warren, Jun Sun 0001
ICECCS
2008
IEEE
140views Hardware» more  ICECCS 2008»
13 years 11 months ago
A Formal Model of Semantic Web Service Ontology (WSMO) Execution
Semantic Web Services have been one of the most significant research areas within the Semantic Web vision, and have been recognized as a promising technology that exhibits huge c...
Hai H. Wang, Nick Gibbins, Terry R. Payne, Ahmed S...
ICECCS
2008
IEEE
131views Hardware» more  ICECCS 2008»
13 years 11 months ago
Dealing with AADL End-to-End Flow Latency with UML MARTE
Su-Young Lee 0002, Frédéric Mallet, ...
ICECCS
2008
IEEE
203views Hardware» more  ICECCS 2008»
13 years 11 months ago
Using AADL to Model a Protocol Stack
In recent trends, the Architecture Analysis and Design Language (AADL) has received increasing attention from safety-critical software development industries. Specific about the A...
Didier Delanote, Stefan Van Baelen, Wouter Joosen,...
ICECCS
2008
IEEE
124views Hardware» more  ICECCS 2008»
13 years 11 months ago
A Study of the AADL Mode Change Protocol
Dominique Bertrand, Anne-Marie Déplanche, S...
ICECCS
2008
IEEE
111views Hardware» more  ICECCS 2008»
13 years 11 months ago
Modes in Asynchronous Systems
specification Back to AADL Ongoing work Conclusion Modes in asynchronous systems J-F. Rolland - M. Filali - J-P. Bodeveix D. Thomas -D. Chemouil ASTRIUM - IRIT - CNES UML-AADL Apr...
Jean-François Rolland, Jean-Paul Bodeveix, ...
ICECCS
2008
IEEE
122views Hardware» more  ICECCS 2008»
13 years 11 months ago
Efficient Embedded Runtime Systems through Port Communication Optimization
Traditionally shared data areas have been used to efficiently communicate between embedded system tasks, such as periodically executing control system tasks. Such implementations ...
Peter H. Feiler
ICECCS
2008
IEEE
102views Hardware» more  ICECCS 2008»
13 years 11 months ago
High-Precision Relative Clock Synchronization Using Time Stamp Counters
Guosong Tian, Yu-Chu Tian, Colin J. Fidge
ICECCS
2008
IEEE
183views Hardware» more  ICECCS 2008»
13 years 11 months ago
Ambient Intelligence Applications: Introducing the Campus Framework
A challenge for pervasive computing is the seamless integration of computer support with users’ activities in a very dynamic setting, with deep human and resource mobility. Port...
Amal El Fallah-Seghrouchni, Karin Breitman, Nicola...
ICECCS
2008
IEEE
111views Hardware» more  ICECCS 2008»
13 years 11 months ago
A Framework for Software Engineering Experimental Replications
Experimental replications are very important to the advancement of empirical software engineering. Replications are one of the key mechanisms to confirm previous experimental find...
Manoel G. Mendonça, José Carlos Mald...