Sciweavers

10790 search results - page 1730 / 2158
» Using feature models to automate model transformations
Sort
View
ICCAD
2000
IEEE
124views Hardware» more  ICCAD 2000»
15 years 11 months ago
A Methodology for Verifying Memory Access Protocols in Behavioral Synthesis
— Memory is one of the most important components to be optimized in the several phases of the synthesis process. ioral synthesis, a memory is viewed as an abstract construct whic...
Gernot Koch, Taewhan Kim, Reiner Genevriere
ISORC
2000
IEEE
15 years 11 months ago
An Open QoS Architecture for CORBA Applications
Distributed application programmers rely on middleware such as CORBA in order to handle the complexity that arises from the distributed and heterogeneous nature of the underlying ...
Frank Siqueira, Vinny Cahill
ADL
2000
Springer
291views Digital Library» more  ADL 2000»
15 years 11 months ago
Electronic Books in Digital Libraries
1 Electronic book is an application with a multimedia database of instructional resources, which include hyperlinked text, instructor’s audio/video clips, slides, animation, stil...
Gultekin Özsoyoglu, Nevzat Hurkan Balkir, Gra...
SP
1998
IEEE
116views Security Privacy» more  SP 1998»
15 years 11 months ago
Strand Spaces: Why is a Security Protocol Correct?
A strand is a sequence of events; it represents either the execution of legitimate party in a security protocol or else a sequence of actions by a penetrator. A strand space is a ...
F. Javier Thayer, Jonathan C. Herzog, Joshua D. Gu...
FASE
2009
Springer
15 years 10 months ago
Interface Generation and Compositional Verification in JavaPathfinder
Abstract. We present a novel algorithm for interface generation of software components. Given a component, our algorithm uses learning techniques to compute a permissive interface ...
Dimitra Giannakopoulou, Corina S. Pasareanu
« Prev « First page 1730 / 2158 Last » Next »