3742 search results - page 506 / 749 » On the Use of Formal Techniques for Validation |
298
click to vote
ICDE
2009
IEEE
16 years 8 months ago
2009
IEEE
XML streams, such as RSS feeds or complex event streams, are becoming increasingly pervasive as they provide the foundation for a wide range of emerging applications. An important...
178
click to vote
CASES
2006
ACM
16 years 17 days ago
2006
ACM
Embedded application requirements, including high performance, low power consumption and fast time to market, are uncommon in the broader domain of general purpose applications. I...
186
click to vote
TOG
2012
13 years 9 months ago
2012
ike abstraction of the yarn model; (c) then, we specify the desired knitting pattern over the stitch mesh’s surface. (d) Following the interactive modeling process, the model goe...
151
click to vote
ERLANG
2006
ACM
16 years 17 days ago
2006
ACM
We present a case study in which a novel testing tool, Quviq QuickCheck, is used to test an industrial implementation of the Megaco protocol. We considered positive and negative t...
180
click to vote
ASYNC
2000
IEEE
15 years 11 months ago
2000
IEEE
Fault Abstraction and Collapsing Framework for Asynchronous Circuits Philip P. Shirvani, Subhasish Mitra Center for Reliable Computing Stanford University Stanford, CA Jo C. Eberge...