1338 search results - page 218 / 268 » Consistent Code Generation from UML Models |
187
Voted
ICDE
2012
IEEE
13 years 5 months ago
2012
IEEE
—We demonstrate SWITCH, a deep embedding of relational queries into RUBY and RUBY on RAILS. With SWITCH, there is no syntactic or stylistic difference between RUBY programs that ...
102
click to vote
EMSOFT
2005
Springer
15 years 8 months ago
2005
Springer
The correct interplay among components in a distributed, reactive system is a crucial development task, particularly for embedded systems such as those in the automotive domain. M...
150
Voted
SIGSOFT
2007
ACM
16 years 3 months ago
2007
ACM
We present an approach for checking code against rich specifications, based on existing work that consists of encoding the program in a relational logic and using a constraint sol...
114
click to vote
ICRA
2005
IEEE
15 years 8 months ago
2005
IEEE
Abstract— Human can efficiently grasp and dextrously manipulate various objects using their fingers cooperatively. When they attain proficiency in the rotating manipulation of...
118
Voted
NIPS
2001
15 years 4 months ago
2001
Reaching movements require the brain to generate motor commands that rely on an internal model of the task's dynamics. Here we consider the errors that subjects make early in...