3799 search results - page 204 / 760 » An Engineering Approach to Formal Methods |
178
click to vote
TKDE
2012
13 years 6 months ago
2012
Abstract—This paper introduces a knowledge-driven approach to real-time, continuous activity recognition based on multisensor data streams in smart homes. The approach goes beyon...
123
click to vote
ECOOP
1999
Springer
15 years 8 months ago
1999
Springer
Abstract. This paper presents a mixin based class and method combination mechanism with block structure propagation. Traditionally, mixins can be composed to form new classes, poss...
269
click to vote
POPL
2008
ACM
16 years 4 months ago
2008
ACM
Conventional specifications for object-oriented (OO) programs must adhere to behavioral subtyping in support of class inheritance and method overriding. However, this requirement ...
121
click to vote
CAV
2004
Springer
15 years 10 months ago
2004
Springer
The logic of equality with uninterpreted functions (EUF) and its extensions have been widely applied to processor verification, by means of a large variety of progressively more s...
138
click to vote
DATE
2010
IEEE
15 years 9 months ago
2010
IEEE
—The growing trend towards using component based design approach in embedded system development requires addressing newer system engineering challenges. These systems are usually...