4418 search results - page 180 / 884 » A Formal Approach to Computer Systems Requirements Documenta... |
144
click to vote
BCS
2008
15 years 6 months ago
2008
This paper describes our approaches to raise the level of abstraction at which hardware suitable for accelerating computationally-intensive applications can be specified. Field-Pr...
148
click to vote
MOBICOM
1999
ACM
15 years 9 months ago
1999
ACM
The concept augmented reality is used to describe a system that supplements reality by adding virtual objects into a real-world view. This paper describes a flexible mobile code a...
122
click to vote
IEEESCC
2007
IEEE
15 years 11 months ago
2007
IEEE
Many real-life organizations are hierarchies of largely autonomous, heterogeneous members (individuals or other organizations), often exhibiting rich policies. We restrict our att...
117
click to vote
ICMCS
2006
IEEE
15 years 10 months ago
2006
IEEE
This paper addresses issues pertaining to the necessity of utilizing formal verification methods in the design of protocols for peer-to-peer multimedia systems. These systems req...
218
click to vote
CPHYSICS
2007
15 years 4 months ago
2007
Python is a relatively new computing language, created by Guido van Rossum (Tanenbaum et al, 1990), which is particularly suitable for teaching a course in computational physics. ...