2223 search results - page 255 / 445 » Events in Property Patterns |
131
click to vote
ICWMC
2006
IEEE
15 years 10 months ago
2006
IEEE
In MANET research the mobility of the nodes is often described using standard synthetic models. Given a particular application, e.g. networks of unmanned aerial vehicles (UAVs) pe...
126
click to vote
SEW
2006
IEEE
2006
IEEE
Model Checking of Software Components: Combining Java PathFinder and Behavior Protocol Model Checker
15 years 10 months ago
Although there exist several software model checkers that check the code against properties specified e.g. via a temporal logic and assertions, or just verifying low-level propert...
137
click to vote
PG
2003
IEEE
15 years 9 months ago
2003
IEEE
Digital watermarking is a technique for embedding information into data, such as images, 3D models, or audio files, such that some properties (i. e., security, imperceptibility, ...
148
click to vote
CIARP
2003
Springer
15 years 9 months ago
2003
Springer
The precise knowledge of the statistical properties of synthetic aperture radar (SAR) data plays a central role in image processing and understanding. These properties can be used ...
142
click to vote
IJON
2008
15 years 4 months ago
2008
The dynamical behavior and the stability properties of fixed points in a feedback auto-associative memory are investigated. The proposed structure encompasses a multi-layer percep...