1902 search results - page 292 / 381 » Differential Dynamic Logics |
DEXA
2008
Springer
13 years 12 months ago
2008
Springer
Abstract. The content of most Web pages is dynamically derived from an underlying relational database. Thus, the success of the Semantic Web hinges on enabling access to relational...
ECOOP
2008
Springer
13 years 12 months ago
2008
Springer
Abstract We present a datatype package that enables the shallow embedding technique to object-oriented specification and programming languages. This datatype package incrementally ...
FPL
2008
Springer
13 years 11 months ago
2008
Springer
It is often desirable to change the logic and/or the connections within an FPGA design on-the-fly without the benefit of a workstation or vendor CAD software. This paper presents ...
CDES
2008
13 years 11 months ago
2008
- The Cell Matrix Architecture is a massive array of dynamically self-configurable, uniformly connected, identical computational units. This architecture can enable efficient, prac...
COMMA
2008
13 years 11 months ago
2008
Abstract. We propose an abstract argumentation theory whose dynamics is captured by the application of belief revision concepts. The theory is deemed as abstract because both the u...