3028 search results - page 370 / 606 » Integrating Temporal Logics |
171
click to vote
MMSEC
2006
ACM
16 years 18 days ago
2006
ACM
With the advent of sophisticated and low-cost video editing software, it is becoming increasingly easier to tamper with digital video. In addition, an ever-growing number of video...
178
click to vote
SAC
2006
ACM
16 years 18 days ago
2006
ACM
Generative coordination is one of the most prominent coordination models for implementing open systems due to its spatial and temporal decoupling. Recently, a coordination communi...
174
click to vote
IV
2005
IEEE
16 years 7 days ago
2005
IEEE
The visual analysis of time dependent data is an essential task in many application fields. However, visualizing large time dependent data collected within a spatial context is st...
142
click to vote
IQIS
2005
ACM
16 years 6 days ago
2005
ACM
In the field of sensor networks, data integration and collaboration, and intelligence gathering efforts, information on the quality of data sources are important but are often not...
187
click to vote
DSVIS
2005
Springer
16 years 5 days ago
2005
Springer
Abstract. The ConcurTaskTrees (CTT) is one of the most widely used notations for task modeling, specifically tailored for user interface model-based design. The integration of CTT ...