306 search results - page 49 / 62 » Tool Support for Reuse of Analysis Patterns - A Case Study |
CSL
2010
Springer
13 years 9 months ago
2010
Springer
Abstract. We present a symbolic framework, based on a modular operational semantics, for formalizing different notions of compromise relevant for the analysis of cryptographic prot...
CODES
2009
IEEE
14 years 3 months ago
2009
IEEE
Multiprocessor System-on-Chips (MPSoCs) are nowadays widely used, but the problem of their software development persists to be one of the biggest challenges for developers. Virtua...
ICSR
2004
Springer
14 years 1 months ago
2004
Springer
This paper describes a feature modelling technique aimed at modelling the software assets behind a product family. The proposed technique is distinctive in five respects. First, it...
LREC
2008
13 years 10 months ago
2008
Recently, most of the research in NLP has concentrated on the creation of applications coping with textual entailment. However, there still exist very few resources for the evalua...
NSDI
2007
13 years 10 months ago
2007
The network and distributed systems research communities have an increasing need for “replayable” research, but our current experimentation resources fall short of reaching th...