7527 search results - page 428 / 1506 » Design and implementation of the KioskNet system |
197
click to vote
SPIN
2010
Springer
15 years 5 months ago
2010
Springer
Pushdown systems provide a natural model of software with recursive procedure calls. We provide a tool implementing an algorithm for computing the winning regions of a pushdown par...
189
click to vote
VTC
2010
IEEE
15 years 5 months ago
2010
IEEE
Abstract— The so-called receiver multiuser diversity aided multistage minimum mean-square error multiuser detector (RMD/MS-MMSE MUD), which was proposed previously by the author,...
194
click to vote
CORR
2010
Springer
15 years 5 months ago
2010
Springer
This paper discusses highly general mechanisms for specifying the refinement of a real-time system as a collection of lower level parallel components that preserve the timing and ...
223
click to vote
CORR
2010
Springer
15 years 4 months ago
2010
Springer
------------------------------------------------------ABSTRACT-------------------------------------------------------Ubiquitous and pervasive computing (UPC) is a popular paradigm ...
175
click to vote
WICSA
2004
15 years 8 months ago
2004
Software architecture descriptions can play a wide variety of roles in the software lifecycle, from requirements specification, to logical design, to implementation architectures....