4418 search results - page 425 / 884 » A Formal Approach to Computer Systems Requirements Documenta... |
192
click to vote
IWEC
2010
15 years 8 months ago
2010
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...
156
click to vote
HPCS
2007
IEEE
16 years 1 months ago
2007
IEEE
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...
182
click to vote
FMCAD
2000
Springer
15 years 10 months ago
2000
Springer
Abstract. We consider the problem of refinement checking for asynchronous processes where refinement corresponds to stutter-closed language inclusion. Since an efficient algorithmi...
222
click to vote
ECHT
1992
15 years 11 months ago
1992
An approach to exible hyperbase hypertext database support predicated on the notion of extensibility is presented. The extensible hypertext platform Hyperform implements basic hyp...
180
click to vote
DAC
2001
ACM
16 years 7 months ago
2001
ACM
Portable systems require long battery lifetime while still delivering high performance. Dynamic voltage scaling (DVS) algorithms reduce energy consumption by changing processor sp...