5130 search results - page 971 / 1026 » Constraint Query Languages |
134
click to vote
ATVA
2010
Springer
15 years 1 months ago
2010
Springer
: Narrowing the wide conceptual gap between problem and implementation domains is considered a significant factor within software engineering. Currently, such a relation is often o...
102
click to vote
ECAI
2010
Springer
15 years 1 months ago
2010
Springer
Ever since the seminal work of Searle, two components of interaction protocols have been identified: constitutive rules, defining the meaning of actions and regulative rules, defin...
141
click to vote
ECAI
2010
Springer
15 years 1 months ago
2010
Springer
The language of linear temporal logic (LTL) has been proposed as a formalism for specifying temporally extended goals and search control constraints in planning. However, the seman...
179
click to vote
SIES
2010
IEEE
15 years 27 days ago
2010
IEEE
Abstract--Many heterogeneous embedded systems, for example industrial automation and automotive applications, require hard-real time constraints to be exhaustively verified - which...
121
click to vote
ICOODB
2009
15 years 22 days ago
2009
ConceptBase is a deductive object-oriented database system intended for the management of metadata. A distinguishing feature of the Telos language underlying ConceptBase is the abi...