1341 search results - page 177 / 269 » Logic for Modeling Product Structure |
159
click to vote
CPAIOR
2009
Springer
16 years 28 days ago
2009
Springer
In this abstract, we present a rule-based modelling language for constraint programming, called Rules2CP [1], and a library PKML for modelling packing problems. Unlike other modell...
142
click to vote
FOSSACS
2007
Springer
16 years 16 days ago
2007
Springer
ATL is a temporal logic geared towards the specification and verification of properties in multi-agents systems. It allows to reason on the existence of strategies for coalitions...
177
click to vote
DATESO
2007
15 years 7 months ago
2007
We address a problem of updating XML documents having their XML schema described by a Document Type Definition (DTD) without breaking their validity. We present a way how to expre...
163
click to vote
OOPSLA
2009
Springer
16 years 27 days ago
2009
Springer
The Task Parallel Library (TPL) is a library for .NET that makes it easy to take advantage of potential parallelism in a program. The library relies heavily on generics and delega...
168
click to vote
ISCAS
2006
IEEE
16 years 11 days ago
2006
IEEE
Abstract— The heterogeneity in the current and future multimedia environment requires an elegant adaptation framework for the production and consumption of different kinds of mul...