2314 search results - page 420 / 463 » What is a Model |
125
Voted
LOGCOM
2007
15 years 20 days ago
2007
We provide algebraic semantics together with a sound and complete sequent calculus for information update due to epistemic actions. This semantics is flexible enough to accommoda...
114
click to vote
CORR
2004
Springer
15 years 19 days ago
2004
Springer
Social insect societies and more specifically ant colonies, are distributed systems that, in spite of the simplicity of their individuals, present a highly structured social organi...
114
Voted
JSS
2000
15 years 18 days ago
2000
The basic motivation for software inspections is to detect and remove defects before they propagate to subsequent development phases where their detection and removal becomes more...
115
click to vote
PRESENCE
2000
15 years 17 days ago
2000
The Virtual Explorer project of the Senses Bureau at the University of California, San Diego, focuses on creating immersive, highly interactive environments for education and scie...
128
Voted
ESEM
2010
ACM
14 years 11 months ago
2010
ACM
Open source software is often considered to be secure because large developer communities can be leveraged to find and fix security vulnerabilities. Eric Raymond states Linus’ L...