4502 search results - page 701 / 901 » Regular Model Checking |
168
click to vote
HICSS
2003
IEEE
15 years 11 months ago
2003
IEEE
This paper employs the analysis of an interpretive case study within a Regional Train Operating Company (RTOC) to arrive at theoretical understandings of Information Systems (IS)....
157
click to vote
INFOCOM
2003
IEEE
15 years 11 months ago
2003
IEEE
— A recently proposed active queue management, CHOKe, is stateless, simple to implement, yet surprisingly effective in protecting TCP from UDP flows. As UDP rate increases, even...
167
click to vote
IPPS
2003
IEEE
15 years 11 months ago
2003
IEEE
Tiled architectures can provide a model for early estimation of global interconnect costs. A design exploration tool for reconfigurable architectures is currently under developmen...
217
click to vote
ISMAR
2003
IEEE
15 years 11 months ago
2003
IEEE
Mixed reality is different from the virtual reality in that users can feel immersed in a space which is composed of not only virtual but also real objects. Thus, it is essential t...
158
click to vote
VISUALIZATION
2003
IEEE
15 years 11 months ago
2003
IEEE
Unstructured meshes are often used in simulations and imaging applications. They provide advanced flexibility in modeling abilities but are more difficult to manipulate and anal...