1867 search results - page 53 / 374 » Math-Net, a model for information and communication systems ... |
SPIN
2000
Springer
14 years 9 days ago
2000
Springer
In this paper, we describe our application of SPIN 1 to model an algorithm used to synchronize the clocks of modules that provide periodic real-time communication over a network. W...
IFIP
2009
Springer
14 years 3 months ago
2009
Springer
When a computer program requires legitimate access to confidential data, the question arises whether such a program may illegally reveal sensitive information. This paper proposes...
CSCW
2004
ACM
13 years 8 months ago
2004
ACM
Abstract. In order to support co-located collaboration, many researchers are now investigating how to effectively augment tabletops with electronic displays. As far back as 1988, o...
JBI
2007
13 years 8 months ago
2007
Clinical information systems (CIS) can affect the quality of patient care. In this paper, we focus on CIS use in the collaborative treatment of chronic diseases. We have develope...
HICSS
2009
IEEE
14 years 3 months ago
2009
IEEE
The requirement for power system operators to respond more efficiently to the stressed power system conditions that may create large number of alarms asks fort advanced alarm proc...