Sciweavers

2016 search results - page 232 / 404
» Tool Support for Ontology Engineering
Sort
View
RE
2008
Springer
15 years 5 months ago
Requirements Capture with RCAT
NASA spends millions designing and building spacecraft for its missions. The dependence on software is growing as spacecraft become more complex. With the increasing dependence on...
Margaret H. Smith, Klaus Havelund
UIST
2010
ACM
15 years 4 months ago
D-Macs: building multi-device user interfaces by demonstrating, sharing and replaying design actions
Multi-device user interface design mostly implies creating a suitable interface for each targeted device, using a diverse set of design tools and toolkits. This is a time consumin...
Jan Meskens, Kris Luyten, Karin Coninx
CSMR
2010
IEEE
15 years 1 months ago
Interactive Exploration of Co-evolving Software Entities
Frequent changes to groups of software entities from different parts of the system may indicate structural issues in the system's decomposition. Analyzing such groups is neede...
Adam Vanya, Rahul Premraj, Hans van Vliet
SIGSOFT
2010
ACM
15 years 1 months ago
Analyzing hierarchical complex real-time systems
Specification and verification of real-time systems are important research topics which have practical implications. In this work, we present a self-contained toolkit to analyze r...
Yang Liu 0003, Jun Sun 0001, Jin Song Dong
P2PKM
2004
15 years 7 months ago
Ontology-based Service Discovery in P2P Networks
The ubiquitous computing vision is to make knowledge and services easily available in our everyday environments. A wide range of devices, applications and services can be intercon...
Daniel Elenius, Magnus Ingmarsson