4993 search results - page 590 / 999 » A System Approach to Energy Management |
161
click to vote
APSEC
1998
IEEE
15 years 11 months ago
1998
IEEE
In this paper we demonstrate how light weight tools can be used to increase the level of confidence in Z specifications. In particular we outline the Pipedream approach to explori...
228
click to vote
HPDC
2003
IEEE
16 years 5 days ago
2003
IEEE
In this paper, we describe the integration of dynamic right-sizing — an automatic and scalable buffer management technique for enhancing TCP performance — into GridFTP, a sub...
207
click to vote
ECOOP
2004
Springer
16 years 8 days ago
2004
Springer
Abstract. Software systems obey the 80/20 rule: aggressively optimizing a vital few execution paths yields large speedups. However, finding the vital few paths can be difficult, e...
209
click to vote
ICSE
2008
IEEE-ACM
2008
IEEE-ACM
Developing a security protocol for a distributed decision support system in a healthcare environment
16 years 7 months ago
In this paper, we describe the unique security issues involved in healthcare domains. These have been addressed to the needs of the HealthAgents project. In the proposed approach,...
186
click to vote
FASE
2010
Springer
16 years 1 months ago
2010
Springer
We introduce a technique for debugging multi-threaded C programs and analyzing the impact of source code changes, and its implementation in the prototype tool Direct. Our approach ...