8587 search results - page 1331 / 1718 » Interactive dynamic abstraction |
240
click to vote
CBSE
2004
Springer
16 years 1 months ago
2004
Springer
In this paper we report on a case study of correct automatic assembly of software components. We show the application of our tool (called Synthesis) for correct components assembly...
265
click to vote
CCS
2004
ACM
16 years 1 months ago
2004
ACM
Security must be a first class citizen in the design of large scale, interacting, software applications, at early and all stages of the lifecycle, for accurate and precise policy ...
225
click to vote
MHCI
2004
Springer
16 years 29 days ago
2004
Springer
: The complex usage of mobile devices coupled with their limited resources in terms of display and processing suggests that being able to understand the context of the user would b...
198
click to vote
RT
2004
Springer
16 years 28 days ago
2004
Springer
We introduce a method based on precomputed radiance transfer (PRT) that allows interactive rendering of glossy surfaces and includes shadowing effects from dynamic, “all-frequen...
203
click to vote
INFOCOM
2003
IEEE
16 years 26 days ago
2003
IEEE
— The aim of this paper is to simulate the interaction of a large number of TCP controlled flows and UDP flows sharing many routers/links, from the knowledge of the network par...