2748 search results - page 337 / 550 » Generating Object-Z Specifications from Use Cases |
139
click to vote
SSDBM
1999
IEEE
15 years 8 months ago
1999
IEEE
In many scientific domains, experimental devices or simulation programs generate large volumes of data. The volumes of data may reach hundreds of terabytes and therefore it is imp...
154
click to vote
SPW
1999
Springer
15 years 8 months ago
1999
Springer
This paper presents a comprehensive study on the performance of common MANET (mobile ad hoc network) routing protocols under realistic network scenarios. The routing protocols use...
155
click to vote
EUROSYS
2010
ACM
16 years 1 months ago
2010
ACM
The benefits of virtualized IT environments, such as compute clouds, have drawn interested enterprises to migrate their applications onto new platforms to gain the advantages of ...
134
click to vote
ASPDAC
2009
ACM
15 years 11 months ago
2009
ACM
- With increasing availability of predefined IP (Intellectual Properties) blocks and inexpensive microprocessors, embedded system designers are faced with more design choices than ...
132
click to vote
CDC
2008
IEEE
15 years 11 months ago
2008
IEEE
— We define the concept of approximate domain optimizer for deterministic and expected value optimization criteria. Roughly speaking, a candidate optimizer is an approximate dom...