1199 search results - page 151 / 240 » Software Verification and Software Engineering a Practitione... |
164
click to vote
IWPC
2007
IEEE
16 years 12 days ago
2007
IEEE
Programs that use multi-threaded concurrency are known to be difficult to design. Moreover, research in computer-science education suggests that concurrency and synchronization co...
155
click to vote
EUROMICRO
2009
IEEE
15 years 10 months ago
2009
IEEE
ProCom is a new component model for real-time and embedded systems, targeting the domains of vehicular and telecommunication systems. In this paper, we describe how the architectur...
152
click to vote
VAMOS
2010
Springer
15 years 7 months ago
2010
Springer
A feature is a program characteristic visible to an end-user. Current research strives to encapsulate the implementation of a feature in a module. Jak is a language extension to Ja...
177
click to vote
AVI
2004
15 years 7 months ago
2004
Fishnet is a web browser that always displays web pages in their entirety, independent of their size. Fishnet accomplishes this by using a fisheye view, i.e. by showing a focus re...
181
click to vote
TASE
2008
IEEE
15 years 6 months ago
2008
IEEE
We address the sensor selection problem which arises in tracking and localization applications. In sensor selection, the goal is to select a small number of sensors whose measureme...