3564 search results - page 171 / 713 » Evaluating a Formal Modelling Language |
149
click to vote
CP
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. Constraint satisfaction problems provide strong formalism for modeling variety of real life problems. This paper presents a work currently in progress of which the goal i...
185
click to vote
KCAP
2005
ACM
15 years 12 months ago
2005
ACM
Ontology mapping negotiation aims to achieve consensus among real-world entities about the process of transforming information between different models (ontologies). This paper de...
200
click to vote
CLEF
2007
Springer
16 years 18 days ago
2007
Springer
In participating in this CLEF evaluation campaign, our first objective is to propose and evaluate various indexing and search strategies for the Russian language, in order to obta...
169
click to vote
POPL
2012
ACM
14 years 2 months ago
2012
ACM
Software-defined networks (SDNs) are a new implementation architecture in which a controller machine manages a distributed collection of switches, by instructing them to install ...
116
click to vote
EURODAC
1994
IEEE
15 years 10 months ago
1994
IEEE
The VOVHDL language was defined as a verification oriented VHDL