5350 search results - page 715 / 1070 » Space and time in eco-ontologies |
184
click to vote
ICLP
2005
Springer
16 years 9 days ago
2005
Springer
We present a methodology for the modeling of complex program behavior in CLP. In the first part we present an informal description about how to represent a system in CLP. At its ...
160
Voted
KDD
2005
ACM
16 years 9 days ago
2005
ACM
This paper describes TIPPPS (Time Interleaved Product Purchase Prediction System), which analyses billing data of corporate customers in a large telecommunications company in orde...
163
click to vote
SSS
2005
Springer
16 years 8 days ago
2005
Springer
This paper considers the self-stabilizing unison problem. The contribution of this paper is threefold. First, we establish that when any self-stabilizing asynchronous unison protoc...
194
click to vote
SPIN
2004
Springer
16 years 4 days ago
2004
Springer
The Murϕ-based Hopper tool is a general purpose explicit model checker. Hopper leverages Murϕ’s class structure to implement new algorithms. Hopper differs from Murϕ in that i...
183
click to vote
CCS
2001
ACM
15 years 11 months ago
2001
ACM
A group signature scheme allows a group member to sign messages anonymously on behalf of the group, while in case of a dispute, a designated entity can reveal the identity of a si...