4126 search results - page 494 / 826 » Set based logic programming |
120
Voted
APSEC
2005
IEEE
15 years 9 months ago
2005
IEEE
We report on a case study in which the Maude model checker has been used to analyze the Suzuki-Kasami distributed mutual exclusion algorithm with respect to the mutual exclusion p...
133
click to vote
VRML
2003
ACM
15 years 9 months ago
2003
ACM
Embodied agents or humanoid avatars may effectively be used to communicate with human users. Currently there is a wide range of specification formalisms and scripting languages f...
122
click to vote
ER
1994
Springer
15 years 8 months ago
1994
Springer
A logical database schema, e.g. a relational one, is an implementation of a speci cation, e.g. an entity-relationship diagram. Upcoming new data models and the necessity of seamle...
136
Voted
ERSA
2004
15 years 5 months ago
2004
Modern reconfigurable computing systems feature powerful hybrid architectures with multiple microprocessor cores, large reconfigurable logic arrays and distributed memory hierarch...
140
Voted
ENTCS
2002
15 years 3 months ago
2002
Abstract. We present an extension to linear-time temporal logic (LTL) that combines the temporal specification with the collection of statistical data. By collecting statistics ove...