922 search results - page 118 / 185 » Engineering a complex ontology with time |
182
click to vote
VMCAI
2010
Springer
16 years 3 months ago
2010
Springer
We present a unified game-based approach for branching-time model checking of hierarchical systems. Such systems are exponentially more succinct than standard state-transition gra...
169
click to vote
ASWEC
2008
IEEE
16 years 27 days ago
2008
IEEE
Previous studies of Object-Oriented (OO) software have reported avoidance of the inheritance mechanism and cast doubt on the wisdom of ‘deep’ inheritance levels. From an evolu...
188
click to vote
ICSEA
2008
IEEE
16 years 25 days ago
2008
IEEE
Evolution of software systems is characterized by inevitable changes of software and increasing software complexity, which in turn may lead to huge maintenance and development cos...
178
click to vote
ICST
2008
IEEE
16 years 25 days ago
2008
IEEE
It is becoming increasingly important to be able to adapt an application’s behavior at run time in response to changing requirements and environmental conditions. Adaptive progr...
164
click to vote
WCRE
2008
IEEE
16 years 23 days ago
2008
IEEE
Software visualizations can provide a concise overview of a complex software system. Unfortunately, since software has no physical shape, there is no “natural” mapping of soft...