61 search results - page 1 / 13 » An Algebraic Characterization of Data and Timed Languages |
CONCUR
2001
Springer
13 years 11 months ago
2001
Springer
TIME
2005
IEEE
14 years 14 days ago
2005
IEEE
The language of timed µCRL is an extension of an ACP-style process algebra-based language µCRL with time-related features. In this paper we describe this language and its equati...
VDB
2000
13 years 8 months ago
2000
Searching and managing large archives of visual data, such as images and video, is made hard by the lack of proper integration between the visual aspects of the problem (image pro...
PODC
2003
ACM
14 years 4 days ago
2003
ACM
The distinction between safety and liveness properties is due to Lamport who gave the following informal characterization. Safety properties assert that nothing bad ever happens w...
SEMWEB
2004
Springer
14 years 7 days ago
2004
Springer
Faceted classification allows one to model applications with complex classification hierarchies using orthogonal dimensions. Recent work has examined the use of faceted classi...