582 search results - page 102 / 117 » Abstract Families of Abstract Categorial Languages |
PODC
2003
ACM
13 years 12 months 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...
CODES
2007
IEEE
13 years 10 months ago
2007
IEEE
Today's MPSoC synthesis and exploration design flows start abstract input specification model captured in a system level design language. Usually this model is created from a...
RELMICS
2000
Springer
13 years 10 months ago
2000
Springer
Abstract: The Duration Calculus is an interval logic introduced for designing realtime systems. This calculus is able to capture important real-time problems like the speci cation ...
ATAL
2008
Springer
13 years 8 months ago
2008
Springer
nts have recently emerged as a valuable abstraction for characterizing interactions among autonomous agents at the level of their business relationships. Traditionally, interopera...
CLEF
2008
Springer
13 years 8 months ago
2008
Springer
The domain-specific track evaluates retrieval models for structured scientific bibliographic collections in English, German and Russian. Documents contain elements (title, abstrac...