5054 search results - page 125 / 1011 » How designers design and program interactive behaviors |
159
click to vote
SOQUA
2007
15 years 7 months ago
2007
The impossibility of statically determining the behavior of complex systems that interact at runtime with heterogeneous devices and remote entities, may lead to unexpected system ...
166
click to vote
ICSE
2005
IEEE-ACM
16 years 6 months ago
2005
IEEE-ACM
With the advances of robotics, computer science, and other related areas, home service robots attract much attention from both academia and industry. Home service robots consists ...
168
click to vote
KBSE
2006
IEEE
16 years 11 days ago
2006
IEEE
Recovering design patterns can enhance existing source code analysis tools by bringing program understanding to the design level. This paper presents a new, fully automated patter...
142
click to vote
DAC
1998
ACM
16 years 7 months ago
1998
ACM
Successive, formal refinement is a new approach for specification of embedded systems using a general-purpose programming language. Systems are formally modeled as Abstractable Sy...
154
click to vote
SIGCSE
1996
ACM
15 years 10 months ago
1996
ACM
Over the last ten years there has been a major shift in programming language design from procedural languages to object-oriented languages. Most universities have adopted an objec...