2293 search results - page 90 / 459 » Temporal Logic in Information Systems |
IFSA
2007
Springer
15 years 4 months ago
2007
Springer
The main objective of an information retrieval system is to be effective in providing a user with relevant information in response to a query. However, especially given the inform...
100
click to vote
DASC
2006
IEEE
15 years 4 months ago
2006
IEEE
Abstract— In stream authentication protocols used for largescale data dissemination in autonomuous systems, authentication is based on the timing of the publication of keys, and ...
ECIS
2003
14 years 11 months ago
2003
Organisational dependence upon IT continues to grow yet experiences of satisfaction vary widely. Problematic, aged IT is often cited as being a fundamental problem in this respect...
CAISE
2010
Springer
14 years 4 months ago
2010
Springer
Abstract. Formal specification and operational support of time constraints constitute fundamental challenges for any process-aware information system. Although temporal constraints...
101
click to vote
GCC
2007
Springer
14 years 11 months ago
2007
Springer
In recent years, the rapid growth of m-commerce is being driven by various emerging mobile applications and services. Among them, mobile information service is considered to be on...