3931 search results - page 174 / 787 » Separation logic and abstraction |
142
click to vote
IJCNN
2006
IEEE
16 years 16 days ago
2006
IEEE
Abstract— We present a method for exploratory data analysis of large spatiotemporal data sets such as global longtime climate measurements, extending our previous work on semibli...
203
click to vote
ERSHOV
2006
Springer
15 years 8 months ago
2006
Springer
Abstract. We address model checking problem for combination of Computation Tree Logic (CTL) and Propositional Logic of Knowledge (PLK) in finite systems with the perfect recall syn...
167
click to vote
CACM
2008
15 years 6 months ago
2008
argely on the ability of used architectural abstractions to support the separate handling of agent-specific concerns since an early state of design. The applied architectural style...
170
click to vote
ATVA
2007
Springer
16 years 21 days ago
2007
Springer
Abstract. The emerging technology of interacting systems calls for new forto ensure their reliability. Concurrent games are paradigmatic abstract models for which several logics ha...
279
click to vote
POPL
2006
ACM
16 years 6 months ago
2006
ACM
Embedded code pointers (ECPs) are stored handles of functions and continuations commonly seen in low-level binaries as well as functional or higher-order programs. ECPs are known ...