25218 search results - page 148 / 5044 » A Logic-Based Information System |
202
click to vote
ISCA
2011
IEEE
14 years 9 months ago
2011
IEEE
High assurance systems used in avionics, medical implants, and cryptographic devices often rely on a small trusted base of hardware and software to manage the rest of the system. ...
136
click to vote
PROFES
2004
Springer
15 years 10 months ago
2004
Springer
Environmental information systems (EIS) have been in professional use for quite a long time. Applications of this domain often include features of quite common location based servi...
289
click to vote
MHCI
2009
Springer
15 years 9 months ago
2009
Springer
Touch-sensitive displays seem like a natural and promising option for dealing with the increasing complexity of current in-vehicle information systems (IVIS), but since they can h...
151
click to vote
HUC
1999
Springer
15 years 9 months ago
1999
Springer
Abstract. This paper describes the implementation of a prototype locationaware tourist information system. Particular emphasis is paid to the layered architecture and the rapid con...
134
click to vote
ERCIMDL
2006
Springer
15 years 9 months ago
2006
Springer
MedSearch1 is a complete retrieval system for Medline, the premier bibliographic database of the U.S. National Library of Medicine (NLM). MedSearch implements SSRM, a novel informa...