319 search results - page 36 / 64 » Formally Verifying Dynamic Properties of Knowledge Based Sys... |
SAS
1999
Springer
15 years 4 months ago
1999
Springer
We define an operational semantics for the Signal language and design an analysis which allows to verify properties pertaining to the relation between values of the numeric and bo...
177
click to vote
SIGMOD
2006
ACM
15 years 12 months ago
2006
ACM
In outsourced database (ODB) systems the database owner publishes its data through a number of remote servers, with the goal of enabling clients at the edge of the network to acce...
FMCAD
2007
Springer
15 years 3 months ago
2007
Springer
As VLSI fabrication technology progresses to 65nm feature sizes and smaller, transistors no longer operate as ideal switches. This motivates verifying digital circuits using contin...
108
click to vote
PPDP
2007
Springer
15 years 5 months ago
2007
Springer
The problem of mechanically formalizing and proving metatheoretic properties of programming language calculi, type systems, operational semantics, and related formal systems has r...
146
click to vote
COMPSAC
2004
IEEE
15 years 3 months ago
2004
IEEE
Web services (WS) received significant attention recently because services can be searched, bound, and executed at runtime over the Internet. This paper proposes a dynamic reconfi...