2162 search results - page 268 / 433 » Automated Reasoning on Feature Models |
153
click to vote
RAID
2009
Springer
15 years 11 months ago
2009
Springer
Because of the ad hoc nature of web applications, intrusion detection systems that leverage machine learning techniques are particularly well-suited for protecting websites. The re...
188
click to vote
DATE
2007
IEEE
15 years 11 months ago
2007
IEEE
Solid frameworks and toolkits for design and analysis of embedded systems are of high importance, since they enable early reasoning about critical properties of a system. This pap...
149
click to vote
TSE
2008
15 years 4 months ago
2008
Timed Automata have proven to be useful for specification and verification of real-time systems. System design using Timed Automata relies on explicit manipulation of clock variabl...
159
click to vote
CADE
2007
Springer
16 years 5 months ago
2007
Springer
Safety and security guarantees for individual applications in general depend on assumptions on the given context provided by distributed instances of operating systems, hardware pl...
148
click to vote
TIME
2005
IEEE
15 years 10 months ago
2005
IEEE
Historical information can be effectively preserved using XML and searched through powerful historical queries written in XQuery. Indeed, by storing the successive versions of a d...