3005 search results - page 77 / 601 » Logical Information Systems: from Taxonomies to Logics |
111
click to vote
DSN
2009
IEEE
15 years 6 months ago
2009
IEEE
Dynamic Information Flow Tracking (DIFT) is a promising security technique. With hardware support, DIFT prevents a wide range of attacks on vulnerable software with minimal perfor...
124
click to vote
ISMVL
1993
IEEE
15 years 4 months ago
1993
IEEE
A construction principle for natural deduction systems for arbitrary finitely-many-valued first order logics is exhibited. These systems are systematically obtained from sequent...
KDD
2003
ACM
16 years 8 days ago
2003
ACM
Web personalization is the process of customizing a Web site to the needs of each specific user or set of users, taking advantage of the knowledge acquired through the analysis of...
104
click to vote
CDC
2009
IEEE
14 years 9 months ago
2009
IEEE
Abstract-- We consider the problem of controlling a discretetime piecewise affine (PWA) system from a specification given as a Linear Temporal Logic (LTL) formula over linear predi...
CAISE
2007
Springer
15 years 6 months ago
2007
Springer
In a series of publications, we have proposed a foundational system of ontological categories which has been used to evaluate and improve the quality of conceptual modeling languag...