6978 search results - page 1254 / 1396 » On Proofs in System P |
182
Voted
KBSE
2003
IEEE
16 years 9 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...
192
Voted
MICRO
2003
IEEE
16 years 9 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...
215
click to vote
PERCOM
2003
ACM
16 years 9 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...
182
Voted
WETICE
2003
IEEE
16 years 9 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...
214
Voted
WISE
2003
Springer
16 years 9 days ago
2003
Springer
Web services are becoming the prominent paradigm for distributed computing and electronic business. This has raised the opportunity for service providers and application developer...