2748 search results - page 173 / 550 » Generating Object-Z Specifications from Use Cases |
208
click to vote
ICDE
2007
IEEE
16 years 2 months ago
2007
IEEE
This paper addresses the problem of efficient maintenance of a materialized skyline view in response to skyline removals. While there has been significant progress on skyline quer...
115
click to vote
RTAS
2007
IEEE
15 years 7 months ago
2007
IEEE
Over the last thirty years, the MIL-STD 1553B data bus has been used in many embedded systems, like aircrafts, ships, missiles and satellites. However, the increasing number and c...
94
Voted
BMCBI
2006
15 years 21 days ago
2006
Background: Designing novel proteins with site-directed recombination has enormous prospects. By locating effective recombination sites for swapping sequence parts, the probabilit...
127
Voted
ICB
2009
Springer
14 years 10 months ago
2009
Springer
We present generative models dedicated to face recognition. Our models consider data extracted from color face images and use Bayesian Networks to model relationships between diffe...
102
Voted
DATE
2009
IEEE
15 years 7 months ago
2009
IEEE
- In this paper, we present a design methodology for automatic platform generation of future heterogeneous systems where communication happens via the Network-onChip (NoC) approach...