9110 search results - page 1450 / 1822 » Formally-Based Design Evaluation |
202
Voted
GEOINFO
2003
15 years 8 months ago
2003
A new topic of great relevance and concern has been the design of efficient early warning systems to detect as soon as possible the emergence of spatial clusters. In particular, m...
164
click to vote
MASCOTS
2001
15 years 8 months ago
2001
While there are different research groups in the mobile computing community, most research requires mobile action data in terms of user calling and mobility patterns. Since collec...
172
click to vote
MASCOTS
2001
15 years 8 months ago
2001
Enterprise storage systems depend on disk arrays for their capacity and availability needs. To design and maintain storage systems that efficiently satisfy evolving requirements, ...
227
click to vote
IADIS
2003
15 years 8 months ago
2003
This paper shows a web tool designed to encourage an active reader comprehension. Being a web-technology based system, it allows easy access for a wide number of users around the ...
135
Voted
SBACPAD
2004
IEEE
15 years 8 months ago
2004
IEEE
High-performance superscalar processors are designed with the help of complex simulation environment. The simulation infrastructure permits to validate the processor instruction s...