319 search results - page 28 / 64 » Formally Verifying Dynamic Properties of Knowledge Based Sys... |
103
click to vote
AIME
2007
Springer
15 years 6 months ago
2007
Springer
Software applications that work with biomedical data have significant knowledge-management requirements. Formal knowledge models and knowledge-based methods can be very useful in m...
80
Voted
ICDCSW
2002
IEEE
15 years 4 months ago
2002
IEEE
Abstract— This work presents an infrastructure that simplifies the development of distributed applications that can adapt automatically to nonfunctional properties of their comp...
AUSAI
2010
Springer
14 years 10 months ago
2010
Springer
A general game player is a system that can play previously unknown games given nothing but their rules. A key to success in this endeavour is the ability to automatically gain know...
RTAS
2006
IEEE
15 years 5 months ago
2006
IEEE
Distributed hard real-time systems require guaranteed communication. One common approach is to restrict network access by enforcing a time-division multiple access (TDMA) schedule...
88
Voted
ENTCS
2006
14 years 11 months ago
2006
We propose a formal method to validate the reliability of a web application, by modeling interactions among its constituent objects. Modeling exploits the recent "Multiple Le...