733 search results - page 70 / 147 » Formal Reasoning About Intrusion Detection Systems |
100
click to vote
VL
2009
IEEE
15 years 6 months ago
2009
IEEE
Labels in spreadsheets can be exploited for finding errors in spreadsheet formulas. Previous approaches have either used the positional information of labels or their interpretat...
104
click to vote
WCRE
2003
IEEE
15 years 5 months ago
2003
IEEE
Merging and splitting source code artifacts is a common activity during the lifespan of a software system; as developers rethink the essential structure of a system or plan for a ...
ICOST
2010
Springer
15 years 3 months ago
2010
Springer
While people have many ideas about how a smart home should react to particular behaviours from their inhabitant, there seems to have been relatively little attempt to organise this...
TLDI
2009
ACM
15 years 8 months ago
2009
ACM
Type-and-effect systems are a natural approach for statically reasoning about a program’s execution. They have been used to track a variety of computational effects, for example...
117
click to vote
IFM
2007
Springer
15 years 6 months ago
2007
Springer
Development of computerized embedded control systems is difficult because it brings together systems theory, electrical engineering and computer science. The engineering and analys...