12333 search results - page 731 / 2467 » System Level Modelling for Hardware Software Systems |
148
click to vote
CORR
2010
Springer
15 years 7 months ago
2010
Springer
Sampled semantics of timed automata is a nite approximation of their dense time behavior. While the former is closer to the actual software or hardware systems ed granularity of ti...
198
click to vote
SOCA
2010
IEEE
15 years 5 months ago
2010
IEEE
Service-based IT infrastructures serve many different business processes on a shared infrastructure in parallel. The automated request execution on the interconnected software com...
234
click to vote
ISSRE
2002
IEEE
16 years 11 days ago
2002
IEEE
An important aspect of developing models relating the number and type of faults in a software system to a set of structural measurement is defining what constitutes a fault. By de...
158
click to vote
ICCAD
2004
IEEE
16 years 4 months ago
2004
IEEE
Self-calibrating designs are gaining momentum in both the computation and communication worlds. Instead of relying on the worst-case characterisation of design parameters, self-ca...
217
click to vote
UML
2005
Springer
16 years 28 days ago
2005
Springer
In this paper we describe a framework for robust system maintenance that addresses specific challenges of data-centric applications. We show that for data-centric applications, cl...