10038 search results - page 1603 / 2008 » Model Checking for Managers |
136
click to vote
DAC
1996
ACM
15 years 11 months ago
1996
ACM
CAD tool interoperability issues are a recurring impediment to constructing a design methodology, especially if the methodology incorporates point tools from several vendors. Failu...
207
click to vote
ICDCS
1993
IEEE
15 years 10 months ago
1993
IEEE
The paper presents a general model for persistent replicated object management and identifies what meta information about objects needs to be maintained by a naming and binding se...
154
click to vote
CCS
1993
ACM
15 years 10 months ago
1993
ACM
Designers of cryptographic systems are at a disadvantage to most other engineers, in that information on how their systems fail is hard to get: their major users have traditionall...
161
click to vote
CIKM
1993
Springer
15 years 10 months ago
1993
Springer
: A framework is presented for hypermedia access to weather information originating from gridded data sets. The information is presented on different media (map, text, graph, table...
159
click to vote
COST
1994
Springer
15 years 10 months ago
1994
Springer
: An open architecture that achieves seamless binding between networking and multimedia devices is proposed. The building blocks of the binding architecture consist of a set of es,...