77016 search results - page 14852 / 15404 » Modeling Modeling |
210
click to vote
CAISE
2003
Springer
16 years 10 days ago
2003
Springer
Abstract. Multi-Agent Systems (MAS) architectures are gaining popularity over traditional ones for building open, distributed or evolving software. To formally define system archit...
236
click to vote
CAISE
2003
Springer
16 years 10 days ago
2003
Springer
Abstract. Even though SQL has become widely accepted as a language for implementing relational database schemas and querying data, there are cases where s experience the need for n...
181
click to vote
CCS
2003
ACM
16 years 10 days ago
2003
ACM
Many network intrusion detection systems (NIDS) use byte sequences as signatures to detect malicious activity. While being highly efficient, they tend to suffer from a high false...
198
click to vote
CCS
2003
ACM
16 years 10 days ago
2003
ACM
After the Code Red incident in 2001 and the SQL Slammer in January 2003, it is clear that a simple self-propagating worm can quickly spread across the Internet, infects most vulne...
187
click to vote
CHARME
2003
Springer
16 years 10 days ago
2003
Springer
This paper shows how classic inductive assertions can be used in conjunction with an operational semantics to prove partial correctness properties of programs. The method imposes o...