4759 search results - page 792 / 952 » Software Development Based on Software Pattern Evolution |
168
click to vote
TLCA
2007
Springer
16 years 18 days ago
2007
Springer
Abstract. This paper proposes two typing systems for session interactions in higherorder mobile processes. Session types for the HOπ-calculus capture high-level structures nicatio...
162
click to vote
DATE
2006
IEEE
16 years 16 days ago
2006
IEEE
This paper presents a configurable and generic platform architecture suitable to interface several kinds of sensors for automotive applications. A platform-based design approach i...
185
click to vote
ACMDIS
2006
ACM
16 years 14 days ago
2006
ACM
Human-computer interaction research often includes a significant design component. In cases where software or other tools are developed and described, but no empirical evaluation ...
162
click to vote
EUC
2005
Springer
16 years 14 hour ago
2005
Springer
Algorithms that process geometric objects become more and more important for many safety-critical embedded systems, e.g. for motion planning or collision detection, where correctne...
148
click to vote
SIGUCCS
2000
ACM
15 years 10 months ago
2000
ACM
In order to keep on the leading edge of technology and to take advantage of new administrative features, we at University of Wyoming decided to upgrade our Windows NT 4.0 lab syst...