2623 search results - page 309 / 525 » Conceptual Application Domain Modelling |
123
click to vote
SAT
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. Symmetry occurs naturally in many computational problems. The use of symmetry breaking techniques for solving search problems reduces the search space and therefore is ex...
214
click to vote
SIGADA
2007
Springer
15 years 11 months ago
2007
Springer
A system based on a hierarchical scheduler is a system in which the processor is shared between several collaborative schedulers. Such schedulers exist since 1960 and they are bec...
155
click to vote
RTAS
2005
IEEE
15 years 10 months ago
2005
IEEE
This paper provides two contributions to the study of developing and applying domain-specific modeling languages (DSMLS) to distributed real-time and embedded (DRE) systems – p...
139
click to vote
ATAL
2005
Springer
15 years 10 months ago
2005
Springer
We present an approach to the verification of temporal epistemic properties in synchronous multi-agent systems (MAS) via bounded model checking (BMC). Based on the semantics of s...
140
click to vote
GCC
2005
Springer
15 years 10 months ago
2005
Springer
Resource Space Model (RSM) is a semantic model to manage and share heterogeneous resources on the Internet. This paper focuses on the general architecture, physical implementation ...