4036 search results - page 659 / 808 » Formal Methods |
183
click to vote
WER
2007
Springer
16 years 16 days ago
2007
Springer
Since 1996, the core Use Case Map (UCM) notation has remained remarkably stable. As the structure and intent of workflow and scenario languages are very similar, UCMs have been ap...
169
click to vote
SIGCOMM
2006
ACM
16 years 11 days ago
2006
ACM
We present Wit, a non-intrusive tool that builds on passive monitoring to analyze the detailed MAC-level behavior of operational wireless networks. Wit uses three processing steps...
169
click to vote
WIKIS
2006
ACM
16 years 11 days ago
2006
ACM
Ontologies are consensual representations of a domain of discourse and the backbone of the future Semantic Web. Currently, however, only a fraction of Web users can take part in t...
165
click to vote
WIKIS
2006
ACM
16 years 11 days ago
2006
ACM
Similarly to the Web Wikis have advanced from initially simple ad-hoc solutions to highly popular systems of widespread use. This evolution is reflected by the impressive number ...
154
click to vote
ACMACE
2005
ACM
16 years 4 hour ago
2005
ACM
This paper describes the automatic creation of simple cinematic scenes and events that use film language (FL) as the basis for the creation of a visual story, aiming to improve it...