1301 search results - page 116 / 261 » Specifications via Realizability |
FROCOS
2005
Springer
15 years 9 months ago
2005
Springer
Interface formalisms are able to model both the input requirements and the output behavior of system components; they support both bottom-up component-based design, and top-down de...
124
click to vote
MRCO
2005
Springer
15 years 9 months ago
2005
Springer
In the research project EPOS1 we build a pro-active, contextsensitive support system to aid the user with his knowledge work, which is mostly about searching, reading, creating, an...
142
click to vote
HIPC
2004
Springer
15 years 9 months ago
2004
Springer
Grids functionally combine globally distributed computers and information systems for creating a universal source of computing power and information. A key characteristic of grids ...
122
click to vote
ISMAR
2003
IEEE
15 years 9 months ago
2003
IEEE
In this paper, we propose a system that displays digital documents on real paper surface with arbitrary shape, so that the viewer can feel as if the digital document images are pr...
160
Voted
PG
2003
IEEE
15 years 9 months ago
2003
IEEE
In the present paper, we propose a particle-based method for the visual simulation of explosive flames. This method consists of a numerical simulation method based on a fluid mode...