1129 search results - page 77 / 226 » Modular Ranking Abstraction |
FUIN
2008
13 years 9 months ago
2008
Abstract. The layering that is present in many OO designs is not accounted for in current interpretations of invariants. We propose to make layers explicit in specifications and in...
DC
2006
13 years 9 months ago
2006
Abstract. Paxos and Fast Paxos are optimal consensus algorithms that are simple and elegant, while suitable for efficient implementation. In this paper, we compare the performance ...
CORR
2007
Springer
13 years 9 months ago
2007
Springer
Abstract. Usually, mathematical objects have highly parallel interpretations. In this paper, we consider them as sequential constructors of other objects. In particular, we prove t...
IJCNN
2007
IEEE
14 years 4 months ago
2007
IEEE
Abstract Received Signal Strength (RSS) based location systems are potential candidates to enable indoor location aware services due to pervasively available wireless local area ...
SAC
2006
ACM
14 years 3 months ago
2006
ACM
Aspect–Oriented Programming (AOP) is increasingly being adopted by developers to better modularize object–oriented design by introducing crosscutting concerns. However, due to...