5830 search results - page 946 / 1166 » Automatic link generation |
167
click to vote
DIGRA
2005
Springer
16 years 5 days ago
2005
Springer
Interactive story writing is a new medium for creative expression. The story “writer” uses a computer game (such as BioWare’s Neverwinter Nights) to create an interactive st...
142
Voted
EMO
2005
Springer
16 years 5 days ago
2005
Springer
Abstract. The optimization and design of two different types of photonic devices - a Fibre Bragg Grating and a Microstructured Polymer Optical Fibre is presented in light of multi...
170
click to vote
ER
2005
Springer
16 years 5 days ago
2005
Springer
Web services aim at providing an interoperable framework for cross system and multiple domain communication. Current basic standards are allowing for first cases of practical use ...
186
click to vote
FASE
2005
Springer
16 years 4 days ago
2005
Springer
Abstract. Blast is an automatic verification tool for checking temporal safety properties of C programs. Given a C program and a temporal safety property, Blast statically proves ...
173
click to vote
FATES
2005
Springer
16 years 4 days ago
2005
Springer
The global testing problem studied in this paper is to seek a definite answer to whether a system of concurrent black-boxes has an observable behavior in a given finite (but cou...