489 search results - page 24 / 98 » Reasoning about confidentiality at requirements engineering ... |
107
Voted
ICFEM
2009
Springer
14 years 10 months ago
2009
Springer
Abstract. On the one hand, modal specifications are classic, convenient, and expressive mathematical objects to represent interfaces of component-based systems. On the other hand, ...
92
Voted
ALGORITHMICA
2008
15 years 17 days ago
2008
Color-coding is a technique to design fixed-parameter algorithms for several NP-complete subgraph isomorphism problems. Somewhat surprisingly, not much work has so far been spent ...
104
Voted
ECAI
1992
Springer
15 years 4 months ago
1992
Springer
ABSTRACT. This paper investigates the problem of finding subclasses of nonmonotonic reasoning which can be implemented efficiently. The ability to "define" propositions u...
110
Voted
EUROSYS
2006
ACM
15 years 9 months ago
2006
ACM
Run-time conflicts can affect even the most rigorously tested software systems. A reliance on execution-based testing makes it prohibitively costly to test every possible interac...
88
Voted
JAIR
2006
15 years 12 days ago
2006
In a field of research about general reasoning mechanisms, it is essential to have appropriate benchmarks. Ideally, the benchmarks should reflect possible applications of the deve...