2355 search results - page 327 / 471 » Benefits of Enterprise Systems Use |
215
click to vote
CCECE
2006
IEEE
16 years 18 days ago
2006
IEEE
To help programmers of high-performance computing (HPC) systems avoid communication-related errors, we employ a formal process algebra, Communicating Sequential Processes (CSP), w...
171
click to vote
ENTCS
2008
15 years 6 months ago
2008
Proofs of termination in term rewriting involve solving constraints between terms coming from (parts of) the rules of the term rewriting system. A common way to deal with such con...
165
click to vote
CHI
2003
ACM
16 years 6 months ago
2003
ACM
The majority of systems using public displays to foster awareness have focused on providing information across remote locations or among people who are loosely connected and lack ...
177
click to vote
PERVASIVE
2009
Springer
16 years 1 months ago
2009
Springer
We present a system, called PL-Tags, for detecting the presence of batteryless tags in a building or home through the power lines. The excitation (or interrogation) and detection o...
146
click to vote
HICSS
2002
IEEE
15 years 11 months ago
2002
IEEE
In this paper the problem of developing bidding strategies for the participants of dynamic energy-multi markets is studied. Attention is given to strategic bidding of load serving...