1497 search results - page 197 / 300 » Extended static checking |
107
click to vote
CP
2005
Springer
15 years 6 months ago
2005
Springer
Abstract. AND/OR search spaces have recently been introduced as a unifying paradigm for advanced algorithmic schemes for graphical models. The main virtue of this representation is...
114
Voted
WER
2005
Springer
15 years 6 months ago
2005
Springer
Requirement traceability is intended to ensure continued alignment between stakeholders’ requirements and various outputs of the system development process. Therefore a process f...
114
click to vote
ECAI
2004
Springer
15 years 6 months ago
2004
Springer
Model-based diagnosis applied to computer programs has been studied for several years. Although there are still weaknesses in the used models, especially on dealing with dynamic da...
105
click to vote
TACS
2001
Springer
15 years 5 months ago
2001
Springer
We propose the πD -calculus, a process calculus that can flexibly model fine-grained control of resource access in distributed computation, with a type system that statically pr...
83
Voted
HT
2000
ACM
15 years 5 months ago
2000
ACM
As dynamically linked content follows the progression of statically linked media into the realm of video, new opportunities for link creation become apparent. In this paper we des...