Sciweavers

3601 search results - page 264 / 721
» The Future of Virtualization Technology
Sort
View
ISORC
2005
IEEE
16 years 7 days ago
Proof Slicing with Application to Model Checking Web Services
Web Services emerge as a new paradigm for distributed computing. Model checking is an important verification method to ensure the trustworthiness of composite WS. abstraction and...
Hai Huang, Wei-Tek Tsai, Raymond A. Paul
ISCA
1999
IEEE
96views Hardware» more  ISCA 1999»
15 years 11 months ago
PipeRench: A Coprocessor for Streaming multimedia Acceleration
Future computing workloads will emphasize an architecture's ability to perform relatively simple calculations on massive quantities of mixed-width data. This paper describes ...
Seth Copen Goldstein, Herman Schmit, Matthew Moe, ...
APGV
2007
ACM
15 years 10 months ago
Perception and prediction of simple object interactions
For humans, it is useful to be able to visually detect an object's physical properties. One potentially important source of information is the way the object moves and intera...
Manfred Nusseck, Julien Lagarde, Benoît G. B...
BCSHCI
2007
15 years 8 months ago
A conference panel: but not as we know it!
This panel will take the form of a public debate about whether the conference of which it forms part has a future. Academic conferences are increasingly hard to cost-justify and g...
Tom McEwan, David England, Eamonn O'Neill, Nick Br...
TSE
1998
92views more  TSE 1998»
15 years 6 months ago
Requirements Development in Scenario-Based Design
—We describe and analyze the process of requirements development in scenario-based design through consideration of a case study. In our project, a group of teachers and system de...
John M. Carroll, Mary Beth Rosson, George Chin Jr....