225 search results - page 27 / 45 » Design for Constraint Violation Detection in Safety-Critical... |
222
click to vote
PLDI
1997
ACM
15 years 10 months ago
1997
ACM
Set-based analysis is a constraint-based whole program analysis that is applicable to functional and objectoriented programming languages. Unfortunately, the analysis is useless f...
155
click to vote
AAAI
1998
15 years 7 months ago
1998
This paper discusses the design and implementation of ESSPL, an expert system which generates security plans for alarm systems (Figure 1). Security planning is the task of determi...
140
click to vote
ICRA
2007
IEEE
16 years 10 days ago
2007
IEEE
— Designing algorithms for multi-robot systems can be a complex and difficult process: the cost of such systems can be very high, collecting experimental data can be timeconsumi...
168
click to vote
IPSN
2009
Springer
16 years 24 days ago
2009
Springer
As sensor networks mature, there will be an increasing need for re-usable, dynamically taskable software systems that support multiple concurrent applications. In this paper, we c...
147
click to vote
CSMR
2006
IEEE
16 years 2 days ago
2006
IEEE
As size and complexity of software systems increase, preserving the design and specification of their implementation structure gains importance in order to maintain the evolvabil...