Sciweavers

358 search results - page 45 / 72
» Extracting State Diagrams from Legacy Systems
Sort
View
SEMWEB
2007
Springer
14 years 1 months ago
WWWatch: Watching the World in Different Views with Semantic Web
This paper develops a Semantic Web application, namely WorldWideWatch or WWWatch, in short. By employment of Semantic Web technologies, WWWatch analyses and visualizes social netwo...
Ekgarach Sumsiripong, Krissada Maleewong, Rachanee...
AISB
2008
Springer
13 years 9 months ago
Cognition without content
According to the traditional conception of the mind, semantical content is perhaps the most important feature distinguishing mental from non-mental systems. And this traditional co...
Paul Schweizer
ICSE
2010
IEEE-ACM
13 years 9 months ago
SMT-based bounded model checking for multi-threaded software in embedded systems
The transition from single-core to multi-core processors has made multi-threaded software an important subject over the last years in computer-aided verification. Model checkers ...
Lucas Cordeiro
AIME
2009
Springer
14 years 2 months ago
An Ontology for the Care of the Elder at Home
The care of the elder at home is highly demanded in modern societies. It is based on the difficult task of coordinating multiple professionals and procedures acting on the same pa...
David Riaño, Francis Real, Fabio Campana, S...
TAOSD
2010
13 years 2 months ago
Aspect-Oriented Design with Reusable Aspect Models
The idea behind Aspect-Oriented Modeling (AOM) is to apply aspect-oriented techniques to (software) models with the aim of modularizing crosscutting concerns. This can be done with...
Jörg Kienzle, Wisam Al Abed, Franck Fleurey, ...