3718 search results - page 187 / 744 » Programming by Integration in Robotics |
167
click to vote
EDUTAINMENT
2007
Springer
16 years 22 days ago
2007
Springer
When designing product behavior, the designer often needs to communicate to experts in computer software and protocols. In present-day software engineering, formal specification m...
165
click to vote
FMCAD
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. Termination poses one of the main challenges for mechanically verifying infinite state systems. In this paper, we develop a powerful and extensible framework based on th...
165
click to vote
GPCE
2003
Springer
15 years 11 months ago
2003
Springer
A domain-specific language provides domain experts with a abstraction for creating computer programs. As more and more domains embrace computers, programmers are tapping into this...
147
click to vote
SIGCSE
1998
ACM
15 years 10 months ago
1998
ACM
On-line programming tests and examinations were administered to approximately 120 first year computer science students in order to evaluate their practical skills. We describe ou...
155
click to vote
ATAL
2006
Springer
15 years 10 months ago
2006
Springer
This paper introduces a new design method for multi-agent systems (MAS) that incorporate logic programming. The DigitalFriend is an example of a MAS with a built-in logic language...