796 search results - page 79 / 160 » An Overview of Separation Logic |
145
click to vote
FUIN
2007
15 years 18 days ago
2007
Mazurkiewicz traces form a model for concurrency. Temporal logic st-order logic are important tools in order to deal with the abstract behavior of such systems. Since typical prop...
132
click to vote
ICST
2009
IEEE
15 years 7 months ago
2009
IEEE
In this paper, we consider typical applications in which the business logic is separated from the access control logic, implemented in an independent component, called the Policy ...
114
click to vote
ICSOC
2007
Springer
15 years 6 months ago
2007
Springer
Mashups are a new kind of interactive Web application, built out of the composition of two or more existing Web service APIs and data sources. Whereas “pure” mashups are built ...
122
click to vote
KCAP
2005
ACM
15 years 6 months ago
2005
ACM
An ultimate goal of AI is to build end-to-end systems that interpret natural language, reason over the resulting logical forms, and perform actions based on that reasoning. This r...
112
Voted
WISE
2002
Springer
15 years 5 months ago
2002
Springer
How to extract data from XML documents is an important issue for XML research and development. However, how to view XML documents determines how they can be queried. In this paper...