1323 search results - page 183 / 265 » Extended Modeling Languages for Interaction Protocol Design |
147
click to vote
CONSTRAINTS
2010
15 years 1 months ago
2010
MiniZinc arose as a response to the extended discussion at CP2006 of the need for a standard modelling language for CP. This is a challenging problem, and we believe MiniZinc makes...
143
click to vote
KBSE
2007
IEEE
15 years 10 months ago
2007
IEEE
We explore the automatic generation of test data that respect constraints expressed in the Object-Role Modeling (ORM) language. ORM is a popular conceptual modeling language, prim...
147
Voted
IPPS
2010
IEEE
15 years 2 months ago
2010
IEEE
From the point of view of an operating system, a computer is managed and optimized in terms of the application programming model and the management of system resources. For the TF...
112
click to vote
HAPTICS
2007
IEEE
15 years 10 months ago
2007
IEEE
We present a novel experimental apparatus for the capture and replay of physical controls (mechanical knobs), as well as a set of acquired models and a design discussion related t...
144
click to vote
RIA
2007
15 years 3 months ago
2007
Continuations are a well established programming concept that allows capturing and resuming the current program state. They can be found in several functional programming languages...