2748 search results - page 474 / 550 » Generating Object-Z Specifications from Use Cases |
DEXAW
2002
IEEE
15 years 4 months ago
2002
IEEE
As originally conceived, the World Wide Web was intended for the purpose of sharing information. Many websites realise this aim by publishing pages from a data repository which su...
ISCA
2002
IEEE
15 years 4 months ago
2002
IEEE
The number of pipeline stages separating dynamic instruction scheduling from instruction execution has increased considerably in recent out-of-order microprocessor implementations...
123
click to vote
MIG
2009
Springer
15 years 4 months ago
2009
Springer
There are various techniques for simulating crowds, however, in most cases the quality of the simulation is measured by examining its “look-and-feel”. Even if the aggregate mov...
VISUALIZATION
2000
IEEE
15 years 4 months ago
2000
IEEE
The study of time dependent characteristics of proteins is important for gaining insight into many biological processes. However, visualizing protein dynamics by animating atom tr...
111
click to vote
ICRA
1994
IEEE
15 years 4 months ago
1994
IEEE
An approach is presented for exploring an unknown, arbitrary surface in three-dimensional (3D) space by a mobile robot. The main contributions are (1) an analysis of the capabilit...