9455 search results - page 1490 / 1891 » The Modelling Language Zinc |
170
Voted
GRAPHITE
2004
ACM
16 years 9 days ago
2004
ACM
Several factors currently limit the size of Virtual Reality Modeling Language (VRML) models that can be effectively visualized over the Web. Main factors include network bandwidth...
182
Voted
ADBIS
2004
Springer
16 years 8 days ago
2004
Springer
Many geographical applications deal with spatial objects that cannot be adequately described by determinate, crisp concepts because of their intrinsically indeterminate and vague n...
232
Voted
BIRTHDAY
2004
Springer
16 years 8 days ago
2004
Springer
CSP was originally introduced as a parallel programming language in which sequential imperative processes execute concurrently and communicate by synchronized input and output. The...
185
click to vote
CP
2004
Springer
16 years 7 days ago
2004
Springer
In CP literature combinatorial design problems such as sport scheduling, Steiner systems, error-correcting codes and more, are typically solved using Finite Domain (FD) models desp...
169
click to vote
DEON
2004
Springer
16 years 7 days ago
2004
Springer
Abstract. In this paper, we combine deontic logic with Alternatingtime Temporal Logic (ATL) into a framework that makes it possible to model and reason about obligations and abilit...