1179 search results - page 61 / 236 » Relative Timing Based Verification of Timed Circuits and Sys... |
130
Voted
ICDCSW
2002
IEEE
15 years 8 months ago
2002
IEEE
Time-driven Key Sequencing (TKS) is a key management technique that synchronizes the session key used by a set of communicating principals based on time of day. This relatively lo...
131
Voted
SAC
2010
ACM
15 years 3 months ago
2010
ACM
Service-based systems can be modeled as stand-alone services coordinated by external connectors. Reo is a channelbased coordination language with well-defined semantics that enabl...
133
click to vote
TIT
2008
15 years 3 months ago
2008
We address the well-known problem of determining the capacity of constrained coding systems. While the onedimensional case is well understood to the extent that there are technique...
136
Voted
WACV
2005
IEEE
15 years 9 months ago
2005
IEEE
We describe a system that detects independently moving objects from a mobile platform in real time using a calibrated stereo camera. Interest points are first detected and tracke...
151
Voted
HYBRID
2000
Springer
15 years 7 months ago
2000
Springer
We propose a computer-aided methodology to automatically generate time optimal production schemes for chemical batch plants operating in multi-batch mode. Our approach is based on ...