1654 search results - page 228 / 331 » Comparing Two Software Design Process Theories |
142
click to vote
GROUP
2009
ACM
15 years 9 months ago
2009
ACM
Designing for non-verbal communication using e.g. gestures and other bodily expressions is difficult. Hardware and software need to be co-designed and harmonize in order to not th...
117
click to vote
KES
2005
Springer
15 years 10 months ago
2005
Springer
This paper describes a lightweight middleware agent framework (LAF) for coordinating a large array of computers with attached cameras to construct high resolution video-rate image ...
161
click to vote
SPIN
2010
Springer
15 years 2 months ago
2010
Springer
We accelerate state space exploration for explicit-state model checking by executing complex operations on the graphics processing unit (GPU). In contrast to existing approaches en...
256
click to vote
POPL
2007
ACM
16 years 5 months ago
2007
ACM
This paper proposes a lightweight fusion method for general recursive function definitions. Compared with existing proposals, our method has several significant practical features...
115
click to vote
ATAL
2009
Springer
15 years 11 months ago
2009
Springer
This paper details the implementation of a software framework that aids the development of distributed and self-configurable software systems. This framework is an instance of a n...