796 search results - page 135 / 160 » An Overview of Separation Logic |
118
click to vote
SEMWEB
2009
Springer
15 years 4 months ago
2009
Springer
Scalable query answering over Description Logic (DL) based ontologies plays an important role for the success of the Semantic Web. Towards tackling the scalability problem, we prop...
EMSOFT
2001
Springer
15 years 4 months ago
2001
Springer
rovides an abstract programmer’s model for the implementation of embedded control systems with hard real-time constraints. A typical control application consists of periodic soft...
ACSAC
1999
IEEE
15 years 4 months ago
1999
IEEE
This paper focuses on the provision of a nonrepudiation service for CORBA. The current OMG specification of a CORBA non-repudiation service forces the programmer to augment the ap...
ICLP
1999
Springer
15 years 4 months ago
1999
Springer
This paper presents a programming language that includes paradigms that are usually associated with declarative languages, such as sets, rules and search, into an imperative (funct...
SIGMOD
1997
ACM
15 years 4 months ago
1997
ACM
Visual Language (VL) system development is getting increasingly sophisticated in part due to the arduous nature of user interface (UI) code development. This typically involves id...