12697 search results - page 246 / 2540 » Call for Papers |
164
click to vote
HUC
1999
Springer
15 years 11 months ago
1999
Springer
In this paper, we introduce a smart appliance for consumer healthcare called “Magic Medicine Cabinet.” It integrates such technologies like smart labels, face recognition, heal...
188
click to vote
ANTS
1998
Springer
15 years 11 months ago
1998
Springer
In 1986, following the work of Schoof on counting points on elliptic curves over finite fields, new algorithms for primality proving emerged, due to Goldwasser and Kilian on the on...
170
click to vote
ESWS
2007
Springer
15 years 10 months ago
2007
Springer
The idea of linked programs, or procedural RDF metadata, has not been deeply explored. This paper introduces a dedicated scripting language for linked data, called Ripple, whose pr...
159
click to vote
AMAST
2004
Springer
15 years 10 months ago
2004
Springer
This paper presents a new rule for reasoning about method calls in object-oriented programs. It is an adaptation of Hoare's rule of adaptation to the object-oriented paradigm,...
161
Voted
DESRIST
2010
Springer
15 years 8 months ago
2010
Springer
Abstract. Just recently many organisations get involved with process performance management (PPM). It appears, however, that PPM initiatives confront organisations with multi-facet...