4890 search results - page 685 / 978 » From system specifications to component behavioral models |
162
click to vote
EMSOFT
2008
Springer
15 years 8 months ago
2008
Springer
We investigate the problem of specification based testing with dense sets of inputs and outputs, in particular with imprecision as they might occur due to errors in measurements, ...
164
click to vote
ICANN
2005
Springer
16 years 6 days ago
2005
Springer
Cricket females perform phonotaxis towards the specific sounds produced by male crickets. By means of a well-tuned peripheral auditory system the cricket is able to extract direct...
160
click to vote
ICCS
2004
Springer
16 years 2 days ago
2004
Springer
Abstract. Physical and biogeochemical ocean dynamics can be intermittent and highly variable, and involve interactions on multiple scales. In general, the oceanic fields, processe...
160
click to vote
RT
2004
Springer
16 years 1 days ago
2004
Springer
This paper introduces a programmable approach to non-photorealistic line drawing from 3D models, inspired by programmable shaders in traditional rendering. We propose a new image ...
179
click to vote
ITCC
2005
IEEE
16 years 8 days ago
2005
IEEE
Background: Key management in a mobile ad hoc environment is complicated by frequently partitioning network topology. Recently proposed key management systems (KMSs) provide limit...