Sciweavers

3250 search results - page 445 / 650
» Quantum behaviors and networks
Sort
View
FORTE
2008
15 years 8 months ago
An SMT Approach to Bounded Reachability Analysis of Model Programs
Model programs represent transition systems that are used fy expected behavior of systems at a high level of abstraction. The main application area is application-level network pro...
Margus Veanes, Nikolaj Bjørner, Alexander R...
ICWS
2008
IEEE
15 years 8 months ago
An Adaptive Service Selection Approach to Service Composition
In service computing, the behavior of a service may evolve. When an organization develops a service-oriented application in which certain services are provided by external partner...
Lijun Mei, Wing Kwong Chan, T. H. Tse
INTERACT
2007
15 years 8 months ago
MarkerClock: A Communicating Augmented Clock for Elderly
Abstract. This paper presents markerClock, a communication appliance embedded into a clock and designed for seniors as a simple and intuitive device. MarkerClock enhances seniorsâ€...
Yann Riche, Wendy E. Mackay
SOUPS
2010
ACM
15 years 6 months ago
The impact of social navigation on privacy policy configuration
Social navigation is a promising approach to help users make better privacy and security decisions using community knowledge and expertise. Social navigation has recently been app...
Andrew Besmer, Jason Watson, Heather Richter Lipfo...
JCM
2006
85views more  JCM 2006»
15 years 6 months ago
Round-trip Time Variation in SmoothTCP in the Face of Spurious Errors
In this paper, we review the definition of a variant of TCP, called SmoothTCP, and describe one of its versions which uses ICMP-SQ messages as its primary control metric. This vers...
Elvis Vieira, Michael Bauer