796 search results - page 114 / 160 » An Overview of Separation Logic |
103
click to vote
ICDCS
2002
IEEE
15 years 4 months ago
2002
IEEE
We argue that joint administration of access policies for a dynamic coalition formed by autonomous domains requires that these domains set up a coalition authority that distribute...
102
click to vote
ICSE
2001
IEEE-ACM
15 years 4 months ago
2001
IEEE-ACM
Support for dynamic and client-specific customization is required in many application areas. We present a (distributed) application as consisting of a minimal functional core – ...
115
click to vote
FUZZIEEE
2007
IEEE
15 years 3 months ago
2007
IEEE
Abstract-- In this paper a new method for training singlemodel and multi-model fuzzy classifiers incrementally and adaptively is proposed, which is called FLEXFIS-Class. The evolvi...
FAABS
2000
Springer
15 years 3 months ago
2000
Springer
This paper integrates research in robot programming and reasoning about action with research in model-based reasoning about physical systems to provide a capability for modeling an...
105
click to vote
WIA
2000
Springer
15 years 3 months ago
2000
Springer
The Mona tool provides an implementation of the decision procedures for the logics WS1S and WS2S. It has been used for numerous applications, and it is remarkably efficient in prac...