7118 search results - page 1040 / 1424 » Electrical and Computer Engineering |
117
click to vote
ISI
2007
Springer
15 years 10 months ago
2007
Springer
— Often document dissemination is limited to a “need to know” basis so as to better maintain organizational trade secrets. Retrieving documents that are off-topic to a user...
150
click to vote
LCPC
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. In this paper, we propose an approach to automatic compiler parallelization based on language extensions that is applicable to a broader range of program structures and a...
132
click to vote
MDM
2007
Springer
15 years 10 months ago
2007
Springer
The engineering community has recently begun to adopt wireless sensing technologies for use in many sensing applications. These low-cost sensors provide an optimal setting for den...
141
click to vote
MIDDLEWARE
2007
Springer
15 years 10 months ago
2007
Springer
It is widely accepted that middleware is an important architectural element which facilitates the development of software systems. In this paper we propose a novel approach for de...
156
click to vote
SPIN
2007
Springer
15 years 10 months ago
2007
Springer
One of the most exciting and promising approaches to ensure the correctness of critical systems is software model checking, which considers real code, written with standard program...