7785 search results - page 1193 / 1557 » The Concept of Dynamic Analysis |
161
click to vote
TIME
2005
IEEE
16 years 14 days ago
2005
IEEE
Abstract— We present a specification language and algorithms for the online and offline monitoring of synchronous systems including circuits and embedded systems. Such monitori...
185
click to vote
SAC
2005
ACM
16 years 14 days ago
2005
ACM
Modular and flexible software components can be useful for reuse across a class of domain-specific applications or product lines. By varying the composition of components suited t...
187
click to vote
WPES
2005
ACM
16 years 13 days ago
2005
ACM
At the 2004 Workshop on Privacy in the Electronic Society (WPES), Borisov, Goldberg and Brewer, presented “Off the Record Messaging” (OTR), a protocol designed to add endto-e...
184
click to vote
CLEF
2005
Springer
16 years 13 days ago
2005
Springer
This paper describes our participation to the English Girt Task of CLEF 2005 Campaign. A method for conceptual indexing based on WordNet is used. Both documents and queries are map...
182
click to vote
FC
2005
Springer
16 years 13 days ago
2005
Springer
We suggest a general paradigm of using large-scale distributed computation to solve difficult problems, but where humans can act as agents and provide candidate solutions. We are e...