5639 search results - page 882 / 1128 » Timed Abstract Non-interference |
119
click to vote
ECAL
2007
Springer
15 years 7 months ago
2007
Springer
Abstract. An important goal in cognitive development research is an understanding of the real-world physical and social environment in which learning takes place. However, the rele...
125
click to vote
ECOOP
2007
Springer
15 years 7 months ago
2007
Springer
Abstract. We present Shekoosh, a novel framework for constraint-based generation of structurally complex inputs of large sizes. Given a Java predicate that represents the desired s...
158
click to vote
EMMCVPR
2007
Springer
15 years 7 months ago
2007
Springer
Abstract. Meaningful notions of distance between planar shapes typically involve the computation of a correspondence between points on one shape and points on the other. To determi...
134
click to vote
EWSN
2007
Springer
15 years 7 months ago
2007
Springer
Abstract. Event-driven operating systems such as TinyOS are the preferred choice for wireless sensor networks. Alternative designs following a classical multi-threaded approach are...
126
click to vote
FDL
2007
IEEE
15 years 7 months ago
2007
IEEE
Abstract-- Analog and Mixed Signal (AMS) designs are important integrated systems that link digital circuits to the analog world. Following the success of PSL verification methodol...