5130 search results - page 371 / 1026 » Constraint Query Languages |
204
Voted
FROCOS
2009
Springer
15 years 11 months ago
2009
Springer
We discuss a new concept of agent programs that combines logic programming with reasoning about actions. These agent logic programs are characterized by a clear separation between ...
181
click to vote
GI
2009
Springer
15 years 11 months ago
2009
Springer
: Model-checking is a way of testing the correctness of concurrent programs. To do so, a model of the program is proven to match properties and constraints specified by the progra...
216
click to vote
DSVIS
2001
Springer
15 years 11 months ago
2001
Springer
In a time where mobile computing devices and embedded systems gain importance, too much time is spent to reinventing user interfaces for each new device. To enhance future extensib...
146
click to vote
FPL
1998
Springer
15 years 11 months ago
1998
Springer
Abstract. Pebble is a simple language designed to improve the productivity and effectiveness of hardware design. It improves productivity by adopting reusable word-level and bit-le...
211
click to vote
PARMA
2004
15 years 8 months ago
2004
Hierarchical structures and catalogs is a way to organize and enrich semantically the available information in the Web. From simple tree-like structures with syntactic constraints ...