908 search results - page 15 / 182 » Temporal Analysis of Time Bounded Digital Systems |
HICSS
2000
IEEE
14 years 2 days ago
2000
IEEE
This paper proposes a two-level theoretical framework for the study of CMC illustrating the principles of mediation and contextual analysis. Based on log files and interviews from...
JISBD
2003
13 years 9 months ago
2003
The importance of temporal representation and reasoning is well known to the database community. Examples of such significance are the languages TSQL2 and its follow up, SQL/Tempo...
ERCIM
2010
13 years 7 months ago
2010
Interactive multimedia performances are rapidly gaining ground within performing arts communities nowadays, mainly due to breakthroughs in humancomputer interaction technologies, ...
FM
2009
Springer
14 years 2 months ago
2009
Springer
In Bounded Model Checking both the system model and the checked property are translated into a Boolean formula to be analyzed by a SAT-solver. We introduce a new encoding technique...
ICIAP
2007
ACM
14 years 7 months ago
2007
ACM
In this paper, we propose a technique for detecting possible events in outdoor areas monitored by a video surveillance system. In particular, here we focus on the time spent by an...