5130 search results - page 971 / 1026 » Constraint Query Languages |
130
Voted
ATVA
2010
Springer
15 years 16 days 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...
ECAI
2010
Springer
15 years 16 days 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...
137
Voted
ECAI
2010
Springer
15 years 16 days 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...
175
Voted
SIES
2010
IEEE
15 years 11 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...
117
Voted
ICOODB
2009
15 years 7 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...