796 search results - page 127 / 160 » An Overview of Separation Logic |
163
click to vote
SIGMOD
2005
ACM
15 years 12 months ago
2005
ACM
We present a method to evaluate path queries based on the novel concept of partial path instances. Our method (1) maximizes performance by means of sequential scans or asynchronou...
PERCOM
2006
ACM
15 years 11 months ago
2006
ACM
Pervasive systems are complex distributed systems containing heterogeneous and mobile devices, services and applications. Policy-based management is an effective approach for mana...
SEFM
2009
IEEE
15 years 6 months ago
2009
IEEE
Abstract. We introduce a visual notation for local specification of concurrent components based on message sequence charts (MSCs). Each component is a finite-state machine whose ...
103
click to vote
WECWIS
2009
IEEE
15 years 6 months ago
2009
IEEE
—People, companies, and public authorities can now have a strong on-line presence and a huge amount of interactions on the Internet, made possible by the impressive growth of the...
ICSM
2009
IEEE
15 years 6 months ago
2009
IEEE
Nowadays, programmers spend much of their workday dealing with code libraries and frameworks that are bloated with APIs. One common way of interacting with APIs is through Code Co...