2245 search results - page 191 / 449 » A Case Study Implementing Features Using AspectJ |
176
click to vote
HASE
2008
IEEE
15 years 5 months ago
2008
IEEE
Designing safety-critical systems is a complex process, and especially when the design is carried out at different f abstraction where the correctness of the design at one level i...
176
click to vote
CRV
2008
IEEE
15 years 11 months ago
2008
IEEE
The extraction of contours using deformable models, such as snakes, is a problem of great interest in computer vision, particular in areas of medical imaging and tracking. Snakes ...
151
click to vote
WCRE
2003
IEEE
15 years 10 months ago
2003
IEEE
Merging and splitting source code artifacts is a common activity during the lifespan of a software system; as developers rethink the essential structure of a system or plan for a ...
178
click to vote
ATVA
2006
Springer
15 years 8 months ago
2006
Springer
Generic representatives have been proposed for the effective combination of symmetry reduction and symbolic representation with BDDs in non-probabilistic model checking. This appro...
159
click to vote
DCOSS
2006
Springer
15 years 8 months ago
2006
Springer
We propose a new data dissemination protocol for wireless sensor networks, that basically pulls some additional knowledge about the network in order to subsequently improve data fo...