Sciweavers

2002 search results - page 248 / 401
» Interactive technical illustration
Sort
View
ISOLA
2004
Springer
15 years 11 months ago
A Formal Analysis of Bluetooth Device Discovery
Abstract. This paper presents a formal analysis of the device discovery phase of the Bluetooth wireless communication protocol. The performance of this process is the result of a c...
Marie Duflot, Marta Z. Kwiatkowska, Gethin Norman,...
PERVASIVE
2004
Springer
15 years 11 months ago
"Are You with Me?" - Using Accelerometers to Determine If Two Devices Are Carried by the Same Person
As the proliferation of pervasive and ubiquitous computing devices continues, users will carry more devices. Without the ability for these devices to unobtrusively interact with on...
Jonathan Lester, Blake Hannaford, Gaetano Borriell...
180
Voted
UPP
2004
Springer
15 years 11 months ago
Higher-Order Chemical Programming Style
The chemical reaction metaphor describes computation in terms of a chemical solution in which molecules interact freely according to reaction rules. Chemical solutions are represen...
Jean-Pierre Banâtre, Pascal Fradet, Yann Rad...
WCW
2004
Springer
15 years 11 months ago
Bottlenecks and Their Performance Implications in E-commerce Systems
Abstract. We present a detailed workload characterization of a multi-tiered system that hosts an e-commerce site. Using the TPC-W workload and via experimental measurements, we ill...
Qi Zhang, Alma Riska, Erik Riedel, Evgenia Smirni
ICAIL
2003
ACM
15 years 11 months ago
The use of legal knowledge-based systems in public administration: what can go wrong?
In recent years, practical applications of legal knowledge-based systems have become increasingly common. This raises the issue of their functioning in practice and their actual in...
Hugo de Bruin, Henry Prakken, Jörgen S. Svens...