2293 search results - page 261 / 459 » Temporal Logic in Information Systems |
165
click to vote
SOSP
2005
ACM
16 years 3 months ago
2005
ACM
Connections is a file system search tool that combines traditional content-based search with context information gathered from user activity. By tracing file system calls, Conne...
299
click to vote
ICDE
2003
IEEE
16 years 8 months ago
2003
IEEE
Intuitively, data management and data integration tools should be well-suited for exchanging information in a semantically meaningful way. Unfortunately, they suffer from two sign...
153
click to vote
VAMOS
2007
Springer
16 years 22 days ago
2007
Springer
The omnipresent integration of computer technology in everyday applications introduces new opportunities to make software systems aware of the context in which they are used. Such...
184
click to vote
ECBS
2008
IEEE
15 years 8 months ago
2008
IEEE
Large and complex software systems require expressive notations for representing their software architecture. In this context Architecture Description Languages (ADLs) can be used...
146
click to vote
IV
2006
IEEE
16 years 19 days ago
2006
IEEE
iQuest is a novel software system to improve understanding of organizational phenomena with greater precision, clarity, and granularity than has previously been possible. It permi...