796 search results - page 137 / 160 » An Overview of Separation Logic |
146
click to vote
ARCS
2006
Springer
15 years 10 months ago
2006
Springer
: Given is the following "creature's exploration problem": n creatures are moving around in an unknown environment in order to visit all cells in shortest time. This...
170
click to vote
CSFW
2004
IEEE
15 years 10 months ago
2004
IEEE
Non-interference is a high-level security property that guarantees the absence of illicit information leakages through executing programs. More precisely, non-interference for a p...
166
click to vote
FOAL
2008
ACM
15 years 8 months ago
2008
ACM
Aspect Oriented Programming (AOP) has significant potential to separate functionality and cross-cutting concerns. In particular, AOP supports an incremental development process, i...
176
click to vote
CLIMA
2007
15 years 8 months ago
2007
In an open Multi-Agent System, the goals of agents acting on behalf of their owners often conflict with each other. Therefore, a personal agent protecting the interest of a single...
165
click to vote
ICWS
2007
IEEE
15 years 8 months ago
2007
IEEE
One of the key challenges to successful systems-ofsystems integration using Web services technologies is how to address crosscutting architectural concerns such as policy manageme...