Sciweavers

379 search results - page 40 / 76
» Using Software Component Models and Services in Embedded Rea...
Sort
View
ISORC
2007
IEEE
15 years 4 months ago
Device Modeling for a Flexible Embedded Systems Development Process
Methodologies, techniques and tools that currently support the embedded systems (ESs) development process prove inadequate for today’s complex ESs. Adopted traditional architect...
Kleanthis C. Thamboulidis, George S. Doukas, Giann...
87
Voted
ENTCS
2008
113views more  ENTCS 2008»
14 years 9 months ago
A Model-Based Approach to the Verification and Adaptation of WF/.NET Components
This paper presents an approach which supports verification and model-based adaptation of software compod services implemented using Windows Workflow Foundation (WF). First, we pr...
Javier Cubo, Gwen Salaün, Carlos Canal, Ernes...
ACSAC
1999
IEEE
15 years 2 months ago
Adding Availability to Log Services of Untrusted Machines
Uncorrupted log files are the critical system component for computer forensics in case of intrusion and for real time system monitoring and auditing. Protection from tampering wit...
Arianna Arona, Danilo Bruschi, Emilia Rosti
SIMUTOOLS
2008
14 years 11 months ago
MARTE: a profile for RT/E systems modeling, analysis--and simulation?
As its name promises, the Unified Modeling Language (UML) provides a collection of diagrammatic modeling styles. To the early class/objects and use-case diagrams were almost immed...
Frédéric Mallet, Robert de Simone
VTC
2007
IEEE
130views Communications» more  VTC 2007»
15 years 4 months ago
Data Stream Processing Infrastructure for Intelligent Transport Systems
— Intelligence Transportation Systems are critical to improve the efficiency of modern transportation by reducing congestions, providing real time road conditions. A system that...
Eric Bouillet, Mark Feblowitz, Zhen Liu, Anand Ran...