2850 search results - page 484 / 570 » On Timed Models and Full Abstraction |
111
click to vote
CGI
2006
IEEE
15 years 4 months ago
2006
IEEE
Abstract. In this paper we argue for our NPAR system as an effective 2D alternative to most of NPR research which is focused on frame coherent stylised rendering of 3D models. Our ...
128
Voted
EUMAS
2006
15 years 2 months ago
2006
Current IT application domains such as web services and autonomic computing call for highly flexible systems, able to automatically adapt to changing operational environments as w...
104
click to vote
CODES
2006
IEEE
15 years 6 months ago
2006
IEEE
Predicting timing behavior is key to efficient embedded real-time system design and verification. Especially memory accesses and co-processor calls over shared communication net...
91
Voted
LOCA
2005
Springer
15 years 6 months ago
2005
Springer
Abstract. There is increasing interest in location-aware systems and applications. It is important for any designer of such systems and applications to understand the nature of use...
88
Voted
IOR
2002
15 years 11 days ago
2002
abstract mathematics. My mentor was Professor S. Bochner, a distinguished contributor to harmonic analysis. My classmates included Richard Bellman (who later nurtured the method of...