2520 search results - page 329 / 504 » Model-checking behavioral programs |
170
click to vote
OOPSLA
2009
Springer
15 years 9 months 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...
117
Voted
ISMAR
2008
IEEE
15 years 8 months 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...
CCGRID
2007
IEEE
15 years 8 months ago
2007
IEEE
We propose to address collective communications in distributed components through collective interfaces. Collective interfaces handle data distribution, parallelism and synchroniz...
CIRA
2007
IEEE
15 years 8 months 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...
83
Voted
CAV
2007
Springer
15 years 8 months 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...