922 search results - page 64 / 185 » Engineering a complex ontology with time |
177
click to vote
VAMOS
2010
Springer
15 years 7 months ago
2010
Springer
In its basic form, a variability model describes the variations among similar artifacts from a structural point of view. It does not capture any information about when these variat...
186
click to vote
ECBS
2009
IEEE
16 years 1 months ago
2009
IEEE
Future space missions, such as Mars Science Laboratory, are built upon computing platforms providing a high degree of autonomy and diverse functionality. The increased sophisticat...
163
click to vote
VSTTE
2005
Springer
15 years 12 months ago
2005
Springer
How close are we to a world in which mechanically verified software is commonplace? A world in which theorem proving technology is used routinely by both software developers and p...
205
click to vote
IJVR
2006
15 years 6 months ago
2006
In this paper, we will present an overview of existing research in the vast area of IVH systems. We will also present our ongoing work on improving the expressive capabilities of I...
171
click to vote
ICFEM
2010
Springer
15 years 4 months ago
2010
Springer
The correct behavior of a service composition depends on the appropriate coordination of its services. According to the idea of channelbased coordination, services exchange message...