Sciweavers

1301 search results - page 142 / 261
» Specifications via Realizability
Sort
View
162
Voted
PERCOM
2005
ACM
16 years 3 months ago
PDP and GSDL: A New Service Discovery Middleware to Support Spontaneous Interactions in Pervasive Systems
In pervasive computing environments, mobile devices communicate via wireless links without requiring any fixed infrastructure. These devices must be able to discover and share ser...
Andrés Marín López, Carlos Ga...
96
Voted
HICSS
2008
IEEE
111views Biometrics» more  HICSS 2008»
15 years 10 months ago
Smarter Blogroll: An Exploration of Social Topic Extraction for Manageable Blogrolls
The already huge number of blogs in existence is increasing rapidly, and many users are struggling to find a way to keep up with the expansion. A number of existing tools aim to c...
Eric Baumer, Danyel Fisher
GRID
2007
Springer
15 years 9 months ago
Fine-grained access control for GridFTP using SecPAL
– Grid access control policy languages today are generally one of two extremes: either extremely simplistic, or overly complex and challenging for even security experts to use. I...
Marty Humphrey, Sang-Min Park, Jun Feng, Norm Beek...
177
Voted
RTAS
2003
IEEE
15 years 9 months ago
VEST: An Aspect-Based Composition Tool for Real-Time Systems
Building distributed embedded systems from scratch is not cost-effective. Instead, designing and building these systems by using domain specific components has promise. However, i...
John A. Stankovic, Ruiqing Zhu, Ram Poornalingam, ...
133
Voted
ICIP
1999
IEEE
15 years 8 months ago
Dense Motion Fields for Digital Video Processing and Compression
This paper presents novel algorithms that perform motion estimation for video processing and compression. We observe that "smoothness" is a very important and intuitive ...
Shunan Lin, Onur G. Guleryuz