2520 search results - page 329 / 504 » Model-checking behavioral programs |
234
click to vote
OOPSLA
2009
Springer
16 years 24 days ago
2009
Springer
Model evolution is often supported by writing model transformation rules in specialized languages. This presents challenges to those who are unfamiliar with model transformation l...
159
click to vote
ISMAR
2008
IEEE
16 years 19 days ago
2008
IEEE
This paper introduces ComposAR, a tool to allow a wide audience to author AR and MR applications. It is unique in that it supports both visual programming and interpretive scripti...
129
click to vote
CCGRID
2007
IEEE
16 years 18 days ago
2007
IEEE
We propose to address collective communications in distributed components through collective interfaces. Collective interfaces handle data distribution, parallelism and synchroniz...
113
click to vote
CIRA
2007
IEEE
16 years 17 days ago
2007
IEEE
— This paper analyzes the signals captured during impacts and vibrations of a mechanical manipulator. To test the impacts, a flexible beam is clamped to the end-effector of a man...
134
click to vote
CAV
2007
Springer
16 years 12 days ago
2007
Springer
C32SAT is a tool for checking C expressions. It can check whether a given C expression can be satisfied, is tautological, or always defined according to the ISO C99 standard. C32...