983 search results - page 175 / 197 » Mathematics Computing Environment on the Web |
IRI
2005
IEEE
15 years 5 months ago
2005
IEEE
For many years, researchers and software developers have been seeking to develop systems and applications to enable efficient and effective group work and organizational memory. ...
LISA
2004
15 years 1 months ago
2004
Server consolidation, which allows multiple workloads to run on the same system, has become increasingly important as a way to improve the utilization of computing resources and r...
SIGSOFT
2005
ACM
16 years 13 days ago
2005
ACM
There is an increasing interest in techniques that support measurement and analysis of fielded software systems. One of the main goals of these techniques is to better understand ...
CADE
2001
Springer
16 years 17 hour ago
2001
Springer
Proof assistants based on type theories, such as Coq and Lego, allow users to omit subterms on input that can be inferred automatically. While those mechanisms are well known, ad-h...
103
click to vote
MOBICOM
2006
ACM
15 years 5 months ago
2006
ACM
Characterizing mobility or contact patterns in a campus environment is of interest for a variety of reasons. Existing studies of these patterns can be classified into two basic a...