6701 search results - page 1224 / 1341 » Medical Embedded Systems |
130
click to vote
CLIMA
2004
15 years 5 months ago
2004
Abstract. We present an encoding of a sequent calculus for a multiagent epistemic logic in Athena, an interactive theorem proving system for many-sorted first-order logic. We then ...
147
click to vote
IADIS
2004
15 years 5 months ago
2004
This paper addresses two questions. Firstly, how is it possible for an application to become aware of network conditions and secondly, given this awareness, how can a system be de...
132
click to vote
ECIS
2001
15 years 5 months ago
2001
The literature in the field of knowledge management shows a certain preoccupation with information technology (IT) and technical solutions while it reflects a limited view of orga...
107
click to vote
ECIS
2001
15 years 5 months ago
2001
A case is described of a firm, which decided to develop a new IT system using a mixture of contract or outsourced workers and company employees. The company employees were placed ...
129
click to vote
ISSA
2004
15 years 5 months ago
2004
Mobile devices, such as mobile phones, are becoming multi-purpose devices. These devices are capable of storing data as well as running custom applications. As more people adopt t...