733 search results - page 143 / 147 » Formal Reasoning About Intrusion Detection Systems |
110
click to vote
SIGMOD
2010
ACM
14 years 12 months ago
2010
ACM
Radio Frequency Identification (RFID) technologies are used in many applications for data collection. However, raw RFID readings are usually of low quality and may contain many an...
186
click to vote
ICDT
2009
ACM
16 years 10 days ago
2009
ACM
Schema mappings are declarative specifications that describe the relationship between two database schemas. In recent years, there has been an extensive study of schema mappings a...
112
click to vote
WWW
2005
ACM
16 years 9 days ago
2005
ACM
The demand for quickly delivering new applications is increasingly becoming a business imperative today. Application development is often done in an ad hoc manner, without standar...
199
click to vote
PLDI
2009
ACM
16 years 9 days ago
2009
ACM
As computer systems continue to become more powerful and comdo programs. High-level abstractions introduced to deal with complexity in large programs, while simplifying human reas...
ATVA
2007
Springer
15 years 5 months ago
2007
Springer
Multi-valued Kripke structures are Kripke structures in which the atomic propositions and the transitions are not Boolean and can take values from some set. In particular, latticed...