2532 search results - page 133 / 507 » Implementation and applications of the distortion operator |
162
click to vote
COMPSAC
2004
IEEE
15 years 10 months ago
2004
IEEE
Context-sensitive middleware-based software is an emerging kind of ubiquitous computing application. The components of such software communicate proactively among themselves accor...
175
click to vote
ATAL
2008
Springer
15 years 8 months ago
2008
Springer
In this paper, we describe two mission critical applications currently deployed by Telecom Italia in the Operations Support System domains. The first one called "Network Neut...
179
click to vote
TPHOL
2007
IEEE
16 years 22 days ago
2007
IEEE
Abstract. This paper introduces the logical system HOL2P that extends classical higher order logic (HOL) with type operator variables and universal types. HOL2P has explicit term o...
126
click to vote
WSC
1997
15 years 7 months ago
1997
This paper describes a simulator for a large outdoor operation called a signal quality survey. Design and implementation of the simulator follows an object oriented approach with ...
141
click to vote
USENIX
2001
15 years 7 months ago
2001
We present a pragmatic methodology for designing nonblocking real-time systems. Our methodology uses a combination of lock-free and wait-free synchronization techniques and clearl...