Sciweavers

3911 search results - page 360 / 783
» Using Operational Architecture to Model Embedded Software
Sort
View
ICDE
1993
IEEE
104views Database» more  ICDE 1993»
15 years 11 months ago
Deterministic Semantics of Set-Oriented Update Sequences
An iterator is proposed that allows to apply sequences of update operations in a set-oriented way with deterministic semantics. Because the mechanism is independent of a particula...
Christian Laasch, Marc H. Scholl
ISPASS
2008
IEEE
16 years 1 months ago
Metrics for Architecture-Level Lifetime Reliability Analysis
Abstract— This work concerns metrics for evaluating microarchitectural enhancements to improve processor lifetime reliability. A commonly reported reliability metric is mean time...
Pradeep Ramachandran, Sarita V. Adve, Pradip Bose,...
ATVA
2005
Springer
202views Hardware» more  ATVA 2005»
16 years 10 days ago
Model Checking Real Time Java Using Java PathFinder
Abstract. The Real Time Specification for Java (RTSJ) is an augmentation of Java for real time applications of various degrees of hardness. The central features of RTSJ are real t...
Gary Lindstrom, Peter C. Mehlitz, Willem Visser
ENTCS
2006
158views more  ENTCS 2006»
15 years 6 months ago
Towards a Subject-Oriented Model-Driven Framework
Model-Driven Architecture is an approach of the OMG, its objective is to tackle problems such as: the high availability that a software product requires to be ready for use, the h...
Pablo Amaya, Carlos González, Juan M. Muril...
ATAL
2008
Springer
15 years 8 months ago
A domain specific modeling language for multiagent systems
Software systems are becoming more and more complex with a large number of interacting partners often distributed over a network. A common dilemma faced by software engineers in b...
Christian Hahn