10820 search results - page 277 / 2164 » Understanding the |
176
click to vote
TACAS
2004
Springer
16 years 17 hour ago
2004
Springer
Abstract In the event that a system does not satisfy a specification, a model checker will typically automatically produce a counterexample trace that shows a particular instance ...
173
click to vote
INFOCOM
2003
IEEE
15 years 12 months ago
2003
IEEE
— Active worms spread in an automated fashion and can flood the Internet in a very short time. Modeling the spread of active worms can help us understand how active worms spread...
175
click to vote
WISE
2003
Springer
15 years 12 months ago
2003
Springer
At the heart of today’s information-explosion problems are issues involving semantics, mutual understanding, concept matching, and interoperability. Ontologies and the Semantic ...
209
click to vote
EWSPT
2003
Springer
15 years 12 months ago
2003
Springer
Abstract. This paper indicates how effective software-process programming languages can lead to improved understandings of critical software processes, as well as improved process ...
167
click to vote
FGR
2002
IEEE
15 years 11 months ago
2002
IEEE
As we articulate speech, we usually move the head and exhibit various facial expressions. This visual aspect of speech aids understanding and helps communicating additional inform...