4335 search results - page 608 / 867 » Ontology Engineering Relationally |
178
click to vote
ROBOCOMM
2007
IEEE
16 years 17 days ago
2007
IEEE
Abstract—Robust, dependable and concise coordination between members of a robot team is a critical ingredient of any such collective activity. Depending on the availability and t...
160
click to vote
WCRE
2007
IEEE
16 years 16 days ago
2007
IEEE
Our analysis of crosscutting concerns in real-life software systems (totaling over 500,000 LOC) and in reports from literature indicated a number of properties that allow for thei...
163
click to vote
B
2007
Springer
16 years 14 days ago
2007
Springer
Symmetry reduction is an established method for limiting the amount of states that have to be checked during exhaustive model checking. The idea is to only verify a single represen...
134
click to vote
CISSE
2007
Springer
16 years 14 days ago
2007
Springer
Conventional human-computer interfaces for the exploration of volume datasets employ the mouse as an input device. Specifying an oblique orientation for a crosssectional plane thr...
144
click to vote
FASE
2007
Springer
16 years 13 days ago
2007
Springer
Abstract. Within model-driven software development, model transformation has become a key activity. It refers to a variety of operations modifying a model for various purposes such...