419 search results - page 52 / 84 » Automatic Synthesis of Real Time Systems |
167
click to vote
SIGMOD
2006
ACM
16 years 2 months ago
2006
ACM
Current application development tools provide completely different programming models for the application server (e.g., Java and J2EE) and the client web browser (e.g., JavaScript...
114
click to vote
CACM
2008
15 years 2 months ago
2008
Programs written in C and C++ are susceptible to memory errors, including buffer overflows and dangling pointers. These errors, which can lead to crashes, erroneous execution, and...
126
click to vote
SIGMOD
2011
ACM
14 years 4 months ago
2011
ACM
In this work we design algorithms for clustering relational columns into attributes, i.e., for identifying strong relationships between columns based on the common properties and ...
119
click to vote
ICAC
2006
IEEE
15 years 8 months ago
2006
IEEE
Large amount of monitoring data can be collected from distributed systems as the observables to analyze system behaviors. However, without reasonable models to characterize systems...
123
click to vote
IBPRIA
2003
Springer
15 years 7 months ago
2003
Springer
In this paper we present an environment for the tracking of a human face obtained from a real video sequence. We will describe the system and discuss the advantages and disadvanta...