Sciweavers

4418 search results - page 425 / 884
» A Formal Approach to Computer Systems Requirements Documenta...
Sort
View
IWEC
2010
15 years 8 months ago
The 'Interactive' of Interactive Storytelling: Customizing the Gaming Experience
In this article, we define interactive storytelling as a gaming experience where the form and content of the game is customized in real time and tailored to the preferences and ne...
Barbaros Bostan, Tim Marsh
HPCS
2007
IEEE
16 years 1 months ago
Semantically Enabling the Global Geodynamics Project: Incorporating Feature-Based Annotations via XML Pointer Language (XPointer
Earth Science Markup Language (ESML) is efficient and effective in representing scientific data in an XML-based formalism. However, features of the data being represented are no...
L. Ian Lumb, J. I. Lederman, J. R. Freemantle, Kei...
FMCAD
2000
Springer
15 years 10 months ago
Automated Refinement Checking for Asynchronous Processes
Abstract. We consider the problem of refinement checking for asynchronous processes where refinement corresponds to stutter-closed language inclusion. Since an efficient algorithmi...
Rajeev Alur, Radu Grosu, Bow-Yaw Wang
ECHT
1992
15 years 11 months ago
Hyperform: Using Extensibility to Develop Dynamic, Open and Distributed Hypertext Systems
An approach to exible hyperbase hypertext database support predicated on the notion of extensibility is presented. The extensible hypertext platform Hyperform implements basic hyp...
Uffe Kock Wiil, John J. Leggett
DAC
2001
ACM
16 years 7 months ago
Dynamic Voltage Scaling and Power Management for Portable Systems
Portable systems require long battery lifetime while still delivering high performance. Dynamic voltage scaling (DVS) algorithms reduce energy consumption by changing processor sp...
Tajana Simunic, Luca Benini, Andrea Acquaviva, Pet...