745 search results - page 15 / 149 » A Formal Ontology for a Computational Approach of Time and A... |
ICFEM
2003
Springer
14 years 21 days ago
2003
Springer
The verification of safety critical systems has become an area of increasing importance in computer science. The notion of reactive system has emerged to concentrate on problems r...
WWW
2007
ACM
14 years 8 months ago
2007
ACM
We describe collaborative efforts between a knowledge representation team, a community of scientists, and scientific information managers in developing knowledge models for ecolog...
KCAP
2005
ACM
14 years 1 months ago
2005
ACM
Among the variety of alignment approaches (e.g., using machine learning, subsumption computation, formal concept analysis, etc.) similarity-based ones rely on a quantitative asses...
VLSID
2003
IEEE
14 years 7 months ago
2003
IEEE
Most verification tools and methodologies such as model checking, equivalence checking, hardware verification, software verification, and hardware-software coverification often fl...
MIDDLEWARE
2004
Springer
14 years 26 days ago
2004
Springer
Application servers provide many functionalities commonly needed in the development of a complex distributed application. So far, the functionalities have mostly been developed an...