1153 search results - page 181 / 231 » Compositional Specification Calculus for Information Systems... |
107
Voted
LRE
2002
15 years 3 months ago
2002
Users need more sophisticated tools to handle the growing number of image-based documents available in databases. In this paper, we present a system devoted to the editing and bro...
110
Voted
MM
2003
ACM
15 years 8 months ago
2003
ACM
To exploit rich content embedded in a single photograph, a system named Photo2Video was developed to automatically convert a photographic series into a video by simulating camera ...
138
Voted
CAISE
2008
Springer
15 years 5 months ago
2008
Springer
This work is done as part of the Tacos project1 whose aims is to define a component-based approach to specify trustworthy systems from the requirements phase to the specification p...
141
Voted
UIST
2004
ACM
15 years 9 months ago
2004
ACM
Traditionally, computer interfaces have been confined to conventional displays and focused activities. However, as displays become embedded throughout our environment and daily li...
135
click to vote
HICSS
2003
IEEE
15 years 8 months ago
2003
IEEE
Information about the user's environment offers new opportunities and exposes new challenges in terms of time-aware, location-aware, device-aware and personalized application...