4047 search results - page 549 / 810 » Algebraic Model Checking |
172
click to vote
COMPGEOM
2004
ACM
16 years 2 days ago
2004
ACM
Let P be a simple polygon with m vertices, k of which are reflex, and which contains r red points and b blue points in its interior. Let n = m + r + b. A ham-sandwich geodesic is ...
166
click to vote
ER
2004
Springer
16 years 18 hour ago
2004
Springer
In this paper, we develop a novel Web Usage Manipulation Language (WUML) which is a declarative language for manipulating Web log data. We assume that a set of trails formed by use...
162
click to vote
VLDB
2004
ACM
15 years 12 months ago
2004
ACM
We consider the problem of resource sharing when processing large numbers of continuous queries. We specifically address sliding-window aggregates over data streams, an important...
181
click to vote
FASE
2003
Springer
15 years 12 months ago
2003
Springer
In this paper, we present a generic approach to integrate datatypes expressed using formal specification languages within state diagrams. Our main motivations are (i) to be able t...
181
click to vote
HICSS
2002
IEEE
15 years 11 months ago
2002
IEEE
Workflow-centric knowledge distribution mechanisms have been proposed recently by a number of researchers to coordinate the flow of codified knowledge in large organizations. This...