12774 search results - page 2272 / 2555 » A Framework for Proof Systems |
168
click to vote
DSN
2002
IEEE
15 years 11 months ago
2002
IEEE
Designing applications with timeliness requirements in environments of uncertain synchrony is known to be a difficult problem. In this paper, we follow the perspective of timing ...
151
click to vote
HICSS
2002
IEEE
15 years 11 months ago
2002
IEEE
The purpose of this paper is to give a comprehensive understanding of the role and importance of e-catalogs in today’s e-commerce strategies. The main contribution of our work i...
155
Voted
HICSS
2002
IEEE
15 years 11 months ago
2002
IEEE
Legitimacy is a key part of the social requirements specification for a trusted virtual community environment (VCE). If an environment is not seen as legitimate, social conflicts m...
155
click to vote
ICDCSW
2002
IEEE
15 years 11 months ago
2002
IEEE
In Marc Weiser’s vision of ubiquitous computing, users are located in an environment with potentially thousands of computers around them. Many capabilities of these smart device...
163
click to vote
IEEEPACT
2002
IEEE
15 years 11 months ago
2002
IEEE
Energy conservation without performance degradation is an important goal for battery-operated computers, such as laptops and hand-held assistants. In this paper we determine the p...