2153 search results - page 389 / 431 » From Requirements Models to Formal Specifications in B |
CNIS
2006
13 years 11 months ago
2006
The rapid emergence of GPS enabled devices, sensors and mobile equipment in commercial as well as government organizations has led to considerable research in time- and location-b...
SGP
2003
13 years 11 months ago
2003
Previous parametric representations of smooth genus-zero surfaces require a collection of abutting patches (e.g. splines, NURBS, recursively subdivided polygons). We introduce a s...
ELECTRONICMARKETS
2000
13 years 10 months ago
2000
Until recently, electronic markets were dominated by the combination of static offer schemes and fixed pricing. Static offer schemes such as online catalogues apparently bear the ...
STOC
1997
ACM
14 years 2 months ago
1997
ACM
We examine a class of collective coin- ipping games that arises from randomized distributed algorithms with halting failures. In these games, a sequence of local coin ips is gener...
SEMWEB
2005
Springer
14 years 3 months ago
2005
Springer
This paper addresses a major weakness of current technologies for the Semantic Web, namely the lack of a principled means to represent and reason about uncertainty. This not only h...