1613 search results - page 308 / 323 » Model-Driven Constraint Engineering |
MM
2005
ACM
15 years 3 months ago
2005
ACM
Most current sensor network research explores the use of extremely simple sensors on small devices called motes and focuses on overcoming the resource constraints of these devices...
69
Voted
SENSYS
2005
ACM
15 years 3 months ago
2005
ACM
Being embedded in the physical world, sensor networks present a wide range of bugs and misbehavior qualitatively different from those in most distributed systems. Unfortunately, d...
ICFEM
2005
Springer
15 years 3 months ago
2005
Springer
Abstract. Theorem provers, model checkers, static analyzers, test generators. . . all of these and many other kinds of formal methods tools can contribute to the analysis and devel...
ISMIR
2005
Springer
15 years 2 months ago
2005
Springer
This paper presents ACE (Autonomous Classification Engine), a framework for using and optimizing classifiers. Given a set of feature vectors, ACE experiments with a variety of cla...
LCTRTS
2005
Springer
15 years 2 months ago
2005
Springer
Effective use of the memory hierarchy is critical for achieving high performance on embedded systems. We focus on the class of streaming applications, which is increasingly preval...