3400 search results - page 141 / 680 » tools 2008 |
ESAW
2008
Springer
13 years 12 months ago
2008
Springer
The IODA methodology allows automated construction of models from an ontology, consisting of generic interactions that we can assign to families of agents. Thanks to the measuremen...
FM
2008
Springer
13 years 11 months ago
2008
Springer
The use of formal methods can significantly improve software quality. However, many instructors and students consider formal methods to be too difficult, impractical, and esoteric ...
JUCS
2008
13 years 10 months ago
2008
: The WWW is currently experiencing a revolutionary growth due to numerous emerging tools, techniques and concepts. Digital journals thus need to transform themselves to cope with ...
COLING
2008
13 years 11 months ago
2008
We present a chain of tools used by grammarians and computer scientists to develop grammatical and lexical resources from linguistic knowledge, for various natural languages. The ...
DMS
2008
13 years 11 months ago
2008
In this position paper we discuss the role of geographical metaphors as tools for representing, organizing and accessing heterogeneous shared information, typical of the Web 2.0. ...