3911 search results - page 450 / 783 » Using Operational Architecture to Model Embedded Software |
242
Voted
CODES
2010
IEEE
15 years 4 months ago
2010
IEEE
This paper describes PowerBooter, an automated power model construction technique that uses built-in battery voltage sensors and knowledge of battery discharge behavior to monitor...
223
click to vote
EDBT
2008
ACM
16 years 7 months ago
2008
ACM
In the demonstration, we will present the concepts and an implementation of an inductive database ? as proposed by Imielinski and Mannila ? in the relational model. The goal is to...
200
Voted
STEP
2005
IEEE
16 years 1 months ago
2005
IEEE
Interoperability in service oriented environments is heavily in uenced by the view that the cooperating services have on their data. e term service for the abstract contract concl...
198
Voted
CORR
2004
Springer
15 years 7 months ago
2004
Springer
This paper presents Jartege, a tool which allows random generation of unit tests for Java classes specified in JML. JML (Java Modeling Language) is a specification language for Ja...
154
click to vote
CLEIEJ
2006
15 years 7 months ago
2006
This paper describes a single-version algorithmic approach to design in fault tolerant computing in various computing systems by using static redundancy in order to mask transient...