2777 search results - page 386 / 556 » Understanding ontological engineering |
130
click to vote
ATAL
2005
Springer
15 years 11 months ago
2005
Springer
Many multi-agent systems seek to reconcile two apparently inconsistent constraints. The system’s overall objective is defined at a global level. However, the agents have only lo...
142
click to vote
CAISE
2005
Springer
15 years 11 months ago
2005
Springer
Researchers and professionals know the importance of the documentation for the efficient maintenance of legacy software. Unfortunately, many legacy systems lack this important arti...
159
click to vote
ICCS
2005
Springer
15 years 11 months ago
2005
Springer
A key phenomenon in the dynamics of genetic networks is the cell cycle. In the study of this phenomenon, an important task is to understand how many processes, acting on different...
132
click to vote
PROFES
2005
Springer
15 years 11 months ago
2005
Springer
Organizations often encounter problems in the Product Integration process. The difficulties include finding errors at integration related to mismatch between the different componen...
166
click to vote
SEKE
2005
Springer
15 years 11 months ago
2005
Springer
The paper presents an approach to support run-time verification of software systems that combines two existing tools, Prospec and Java-MaC, into a single framework. Prospec can be...