13 search results - page 3 / 3 » A Synchronous Multimedia Annotation System for Secure Collab... |
126
Voted
VSTTE
2010
Springer
15 years 15 days ago
2010
Springer
Abstract. Theorem-prover based modular checkers have the potential to perform scalable and precise checking of user-defined properties by combining pathsensitive intraprocedural re...
126
Voted
ECOOP
2012
Springer
13 years 5 months ago
2012
Springer
X10 is an object oriented programming language with a sophisticated type system (constraints, class invariants, non-erased generics, closures) and concurrency constructs (asynchron...
169
Voted
RTAS
2009
IEEE
15 years 9 months ago
2009
IEEE
In recent years, there has been an increase in video surveillance systems in public and private environments due to a heightened sense of security. The next generation of surveill...