3653 search results - page 318 / 731 » On Recognizable Timed Languages |
205
click to vote
ICALP
2001
Springer
15 years 11 months ago
2001
Springer
In this paper we initiate the study of testing properties of hypergraphs. The goal of property testing is to distinguish between the case whether a given object has a certain prope...
149
click to vote
UML
2001
Springer
15 years 11 months ago
2001
Springer
We present a real-time execution semantics for UML activity graphs that is intended for workflow modelling. The semantics is defined in terms of execution algorithms that define...
187
click to vote
TOOLS
2000
IEEE
15 years 11 months ago
2000
IEEE
Many data objects in the real world have attributes about location and time. Such spatiotemporal objects can be found in applications such Geographic Information Systems (GIS), env...
202
click to vote
ECOOP
1999
Springer
15 years 11 months ago
1999
Springer
THOR is a persistent object store that provides a powerful programming model. THOR ensures that persistent objects are accessed only by calling their methods and it supports atomic...
179
click to vote
TOOLS
1999
IEEE
15 years 11 months ago
1999
IEEE
One of the beauties of use cases is their accessible, informal format. Use cases are easy to write, and the graphical notation is trivial. Because of their simplicity, use cases a...