Sciweavers

2853 search results - page 348 / 571
» A platform for software engineering research
Sort
View
CISSE
2008
Springer
14 years 16 days ago
A New Methodology for Self Localization in Wireless Sensor Networks
Localization is the subject matter that has allured the attention of many researchers in the field of wireless sensor network. It is the process of assigning or computing the locat...
Allon Rai, Sangita Ale, Syed Sajjad Rizvi, Aasia R...
FOSSACS
2008
Springer
14 years 9 days ago
Robust Analysis of Timed Automata via Channel Machines
Whereas formal verification of timed systems has become a very active field of research, the idealised mathematical semantics of timed automata cannot be faithfully implemented. Se...
Patricia Bouyer, Nicolas Markey, Pierre-Alain Reyn...
VAMOS
2010
Springer
14 years 6 days ago
A Deontic Logical Framework for Modelling Product Families
We discuss the application of deontic logics to the modelling of variabilities in product family descriptions. Deontic logics make it possible to express concepts like permission a...
Patrizia Asirelli, Maurice H. ter Beek, Stefania G...
WONTO
2008
14 years 5 days ago
ModOnto: A Tool for Modularizing Ontologies
During the last three years there has been growing interest and consequently active research on ontology modularization. This paper presents a concrete tool that incorporates an ap...
Camila Bezerra, Frederico Luiz Gonçalves de...
AVI
2004
14 years 5 days ago
The challenge of information visualization evaluation
As the field of information visualization matures, the tools and ideas described in our research publications are reaching users. The reports of usability studies and controlled e...
Catherine Plaisant