641 search results - page 12 / 129 » Applications of a Logical Discovery Engine |
153
Voted
VSTTE
2005
Springer
15 years 11 months ago
2005
Springer
After some general remarks about program verification, we introduce separation logic, a novel extension of Hoare logic that can strengthen the applicability and scalability of pro...
137
click to vote
QSIC
2003
IEEE
15 years 11 months ago
2003
IEEE
Hypertext-based user interfaces have become attractive for many distributed applications today, but they do not reach the usability level of window-based UIs. Because of insuffici...
165
click to vote
ICST
2008
IEEE
16 years 9 days ago
2008
IEEE
If access control policy decision points are not neatly separated from the business logic of a system, the evolution of a security policy likely leads to the necessity of changing...
185
Voted
IKE
2004
15 years 7 months ago
2004
Flexible and effective indexing of video data so as to render it useful in automated inference and datadriven knowledge acquisition is a key problem in knowledge engineering. In t...
125
click to vote
COMPSAC
2005
IEEE
15 years 11 months ago
2005
IEEE
We present a dialog-driven process model for the development of web-based applications that uses a graphical notation to model and iteratively refine the application’s dialog ...