1524 search results - page 301 / 305 » Operational Semantics of Hybrid Systems |
PLDI
2009
ACM
15 years 4 months ago
2009
ACM
We present the first machine-checked correctness proof for information flow control (IFC) based on program dependence graphs (PDGs). IFC based on slicing and PDGs is flow-sensi...
ICIW
2009
IEEE
15 years 4 months ago
2009
IEEE
Today’s cross-organizations are increasingly coordinating their capabilities in the quest of dynamically adaptable and thus highly competitive realistic services. Unfortunately,...
102
click to vote
ATAL
2007
Springer
15 years 3 months ago
2007
Springer
Intelligent agents that are intended to work in dynamic environments must be able to gracefully handle unsuccessful tasks and plans. In addition, such agents should be able to mak...
ICDCS
2005
IEEE
15 years 3 months ago
2005
IEEE
The lack of a flexible consistency management solution hinders P2P implementation of applications involving updates, such as read-write file sharing, directory services, online ...
ICEIS
2005
IEEE
15 years 3 months ago
2005
IEEE
Component-based software engineering attempts to address the ever increasing demand for new software applications by enabling a compositional approach to software construction in ...