3468 search results - page 340 / 694 » An open logical framework |
182
click to vote
IPTPS
2004
Springer
16 years 4 days ago
2004
Springer
A protocol for a distributed hash table (DHT) incurs communication costs to keep up with churn—changes in membership—in order to maintain its ability to route lookups efficie...
222
click to vote
AGTIVE
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. Applying refactoring in a model-driven software engineering context raises many new challenges that need to be addressed. In this paper, we consider model-driven software...
176
click to vote
ECSQARU
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. Ordinal Conditional Functions (OCFs) are one of the predominant frameworks to define belief change operators. In his original paper Spohn defines OCFs as functions from t...
152
click to vote
CSFW
2000
IEEE
15 years 10 months ago
2000
IEEE
We present a framework in which different notions of security can be defined in a uniform and modular way. Each definition of security is formalized as a security predicate by ass...
160
click to vote
ACMACE
2008
ACM
15 years 8 months ago
2008
ACM
The use of handheld computers as a tool to enrich the museum experience has found its way into many museums, opening up new possibilities to increase the attractiveness of museum ...