922 search results - page 90 / 185 » Engineering a complex ontology with time |
203
click to vote
ICSM
2009
IEEE
16 years 1 months ago
2009
IEEE
Model checking is a promising technique for verifying program behavior and is increasingly finding usage in industry. To date, however, researchers have primarily considered mode...
169
click to vote
KBSE
2008
IEEE
16 years 26 days ago
2008
IEEE
Exception handling mechanisms have been around for more than 30 years. Nevertheless, modern exceptions systems are not very different from the early models. Programming languages ...
183
click to vote
CSMR
2005
IEEE
16 years 2 days ago
2005
IEEE
Real world software systems undergo, during their lifetime, to repeated maintenance activities. Due to the market pressure and to the need for having back the system operational i...
188
click to vote
SEFM
2005
IEEE
16 years 1 days ago
2005
IEEE
The development of test cases is an important issue for testing software, communication protocols and other reactive systems. A number of methods are known for the development of ...
158
click to vote
ADAEUROPE
2004
Springer
15 years 12 months ago
2004
Springer
Abstract: A framework for application-defined scheduling and its corresponding application program interface (API) were defined during the last International Real-Time Ada Workshop...