10159 search results - page 1790 / 2032 » System Design Validation Using Formal Models |
236
click to vote
WORDS
2005
IEEE
16 years 6 days ago
2005
IEEE
Since the deployment of real-time sensitive applications in the Internet, the research community has been struggling to leverage the IP best-effort networks for providing QoS assu...
183
click to vote
ICDAR
2003
IEEE
15 years 12 months ago
2003
IEEE
This paper aims at automatic recognition of online handwritten mathematical expressions written on an electronic tablet. The proposed technique involves two major stages: symbol r...
170
click to vote
SENSYS
2010
ACM
15 years 4 months ago
2010
ACM
We present AutoWitness, a system to deter, detect, and track personal property theft, improve historically dismal stolen property recovery rates, and disrupt stolen property distr...
156
click to vote
OOPSLA
2000
Springer
15 years 10 months ago
2000
Springer
To date, systems offering multitasking for the JavaTM programming language either use one process or one class loader for each application. Both approaches are unsatisfactory. Usi...
167
click to vote
EVOW
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. Software configurable analogue arrays offer an intriguing platform for automated design by evolutionary algorithms. Like previous evolvable hardware experiments, these pl...