5863 search results - page 1029 / 1173 » On Model-Checking of P Systems |
135
click to vote
ICCV
2003
IEEE
15 years 9 months ago
2003
IEEE
Paracatadioptric sensors combine a parabolic shaped mirror and a camera inducing an orthographic projection. Such a configuration provides a wide field of view while keeping a s...
117
Voted
KBSE
2003
IEEE
15 years 9 months ago
2003
IEEE
When performing a program evolution task, developers typically spend a significant amount of effort investigating and re-investigating source code. To reduce this effort, we prop...
141
click to vote
MICRO
2003
IEEE
15 years 9 months ago
2003
IEEE
This paper proposes and evaluates single-ISA heterogeneous multi-core architectures as a mechanism to reduce processor power dissipation. Our design incorporates heterogeneous cor...
156
Voted
PERCOM
2003
ACM
15 years 9 months ago
2003
ACM
To programmatically discover and interact with services in ubiquitous computing environments, an application needs to solve two problems: (1) is it semantically meaningful to inte...
129
click to vote
WETICE
2003
IEEE
15 years 9 months ago
2003
IEEE
A formal approach to security in the software life cycle is essential to protect corporate resources. However, little thought has been given to this aspect of software development...