3028 search results - page 454 / 606 » Integrating Temporal Logics |
CODES
1996
IEEE
14 years 2 months ago
1996
IEEE
Performance modeling and evaluation of embedded hardware/software systems is important to help the CoDesign process. The hardware/software partitioning needs to be evaluated befor...
COSIT
1997
Springer
14 years 2 months ago
1997
Springer
Current geographic information systems (GISs) have been designed for querying and maintaining static databases representing static phenomena and give little support to those users ...
CAIP
1993
Springer
14 years 2 months ago
1993
Springer
A robust method is introduced for computing the camera motion (the ego-motion) in a static scene. The method is based on detecting a single planar surface in the scene directly fro...
GROUP
2007
ACM
14 years 2 months ago
2007
ACM
Based on qualitative analysis of three groups collaborating on a research task in a distributed setting, we identify four breakdowns in creativity: (1) Minority ideas were under-c...
ARCS
2006
Springer
14 years 1 months ago
2006
Springer
: We have shown in our past work that the standard configuration of Time-Triggered (TT) Ethernet unifies real-time and non-real-time traffic within a single coherent communication ...