1011 search results - page 138 / 203 » The three dimensions of proofs |
111
click to vote
HICSS
2005
IEEE
15 years 12 months ago
2005
IEEE
Multiple studies in the information systems (IS) literature recognize that information technology (IT) investments may not yield immediate returns. Nevertheless, there has been a ...
153
click to vote
IWPC
2005
IEEE
15 years 12 months ago
2005
IEEE
The paper presents a usability study conducted with graduate and undergraduate computer science students, designed to evaluate the effectiveness of a software visualization tool n...
180
click to vote
RTAS
2005
IEEE
15 years 12 months ago
2005
IEEE
We consider the problem of energy minimization for periodic preemptive hard real-time tasks that are scheduled on an identical multiprocessor platform with dynamic voltage scaling...
140
click to vote
WECWIS
2005
IEEE
15 years 12 months ago
2005
IEEE
The notion of ambient e-services is defined in this paper to identify a new scope of mobile e-services. The notable features of ambient e-services are the exhilarated linkage based...
195
click to vote
SIGCOMM
2005
ACM
15 years 12 months ago
2005
ACM
This paper introduces a lightweight, scalable and accurate framework, called Meridian, for performing node selection based on network location. The framework consists of an overla...