488 search results - page 37 / 98 » Using Model Checking to Generate Tests from Requirements Spe... |
159
click to vote
FPGA
2000
ACM
15 years 6 months ago
2000
ACM
A method for evaluating and constructing sparse crossbars which are both area efficient and highly routable is presented. The evaluation method uses a network flow algorithm to ac...
148
Voted
CCS
2010
ACM
15 years 1 months ago
2010
ACM
Remote operating system fingerprinting relies on implementation differences between OSs to identify the specific variant executing on a remote host. Because these differences can ...
131
Voted
UML
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. Nowadays, object-oriented meta-languages such as MOF (MetaObject Facility) are increasingly used to specify domain-specific languages in the model-driven engineering comm...
144
click to vote
ISSRE
2000
IEEE
15 years 7 months ago
2000
IEEE
Despite the growing interest for component-based systems, few works tackle the question of the trust we can bring into a component. This paper presents a method and a tool for bui...
120
click to vote
ERLANG
2008
ACM
15 years 5 months ago
2008
ACM
When creating software, data types are the basic bricks. Most of the time a programmer will use data types defined in library modules, therefore being tested by many users over ma...