5863 search results - page 1029 / 1173 » On Model-Checking of P Systems |
182
Voted
ICCV
2003
IEEE
16 years 7 days 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...
179
Voted
KBSE
2003
IEEE
16 years 7 days 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...
189
click to vote
MICRO
2003
IEEE
16 years 7 days 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...
213
click to vote
PERCOM
2003
ACM
16 years 7 days 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...
177
Voted
WETICE
2003
IEEE
16 years 7 days 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...