1122 search results - page 15 / 225 » Behavioral Extensions of Institutions |
139
click to vote
ICFP
2006
ACM
16 years 3 months ago
2006
ACM
Type-directed programming is an important idiom for software design. In type-directed programming the behavior of programs is guided by the type structure of data. It makes it pos...
134
click to vote
UML
1999
Springer
15 years 8 months ago
1999
Springer
Abstract. The acceptance of UML as a de facto standard for the design of object-oriented systems, together with the explosive growth of the World Wide Web has raised the need for U...
134
click to vote
SIGSOFT
2003
ACM
16 years 4 months ago
2003
ACM
Model checking is emerging as a popular technology for reasoning about behavioral properties of a wide variety of software artifacts including: requirements models, architectural ...
108
click to vote
ACMACE
2005
ACM
15 years 9 months ago
2005
ACM
The fields of human-robot interaction and entertainment robotics are truly interdisciplinary, combining the best of computer science, psychology, and mechanical engineering. Howe...
123
click to vote
SIMUTOOLS
2008
15 years 5 months ago
2008
Research community on distributed systems, and in particular on peer-to-peer systems, needs tools for evaluating their own protocols and services, as well as against other protoco...