1888 search results - page 100 / 378 » Automatic Implementation of Distributed Systems Formal Speci... |
108
click to vote
SIGADA
2005
Springer
15 years 8 months ago
2005
Springer
In this paper, we describe an approach to automatically creating C++ bindings to Ada libraries utilizing capabilities of the Ada Semantic Interface Specification (ASIS). We discus...
129
click to vote
CAISE
2006
Springer
15 years 5 months ago
2006
Springer
Abstract. This paper focuses on the sales and distribution phase in eHome systems. The huge market potential for affordable solutions leads to a multiplicity in terms of millions o...
144
click to vote
APN
2007
Springer
15 years 9 months ago
2007
Springer
In this work, we propose two high-level formalisms, Markov Decision Petri Nets (MDPNs) and Markov Decision Well-formed Nets (MDWNs), useful for the modeling and analysis of distrib...
125
click to vote
IWFM
1998
15 years 4 months ago
1998
In this paper we present an overview of the uses of the TAMPR transformation system and present experience with using transformation in industrial applications. TAMPR is a fully a...
138
click to vote
CODES
2006
IEEE
15 years 9 months ago
2006
IEEE
Designer productivity and design predictability are vital factors for successful embedded system design. Shrinking time-to-market and increasing complexity of these systems requir...