13137 search results - page 414 / 2628 » A Science of Software Design |
147
click to vote
FASE
1998
Springer
15 years 11 months ago
1998
Springer
We reflect on our experiences from work on the design and semantic underpinnings of Extended ML, a specification language which supports the specification and formal development o...
188
click to vote
HICSS
1997
IEEE
15 years 11 months ago
1997
IEEE
In this paper we present a new approach for the development of hypertext information systems that avoids a number of traditional hypermedia authoring problems, and facilitates the...
171
click to vote
AVI
1994
15 years 8 months ago
1994
Hand drawn diagrams are essential tools for thinking and communicating in the early phases of design, yet computer based drawing tools support diagramming and sketching only poorl...
162
click to vote
HPCC
2009
Springer
15 years 11 months ago
2009
Springer
Compared with lock-based synchronization techniques, Software Transactional Memory (STM) can significantly improve the programmability of multithreaded applications. Existing res...
175
Voted
AGENTS
2001
Springer
15 years 11 months ago
2001
Springer
This paper describes a completely implemented, fully autonomous software system for soccer playing quadruped robots. The system includes real-time color vision, probabilistic loca...