1255 search results - page 49 / 251 » A Proof Environment for the Development of Group Communicati... |
SLOGICA
1998
13 years 8 months ago
1998
We present and discuss various formalizations of Modal Logics in Logical Frameworks based on Type Theories. We consider both Hilbert- and Natural Deductionstyle proof systems for ...
ICDE
1998
IEEE
14 years 10 months ago
1998
IEEE
We consider an environment where one or more servers carry databases that are of interest to a community of clients. The clients are only intermittently connected to the server fo...
APSEC
2000
IEEE
14 years 1 months ago
2000
IEEE
Explosive increase in end-user computing on distributed systems requires that end-users develop application software by themselves. One solution is given as a formula of “a doma...
CSCW
2000
ACM
14 years 1 months ago
2000
ACM
A need exists to develop groupware systems that adapt to available resources and support user mobility. This paper presents DACIA, a system that provides mechanisms for building s...
PAAMS
2010
Springer
14 years 1 months ago
2010
Springer
As the number of handicapped people increases worldwide, Intelligent Wheelchairs (IW) are becoming the solution to enable a higher degree of independence for wheelchair users. In a...