5339 search results - page 894 / 1068 » Controllable Delay-Insensitive Processes |
133
click to vote
PPDP
2001
Springer
15 years 8 months ago
2001
Springer
This paper describes an implementation of narrowing, an essential component of implementations of modern functional logic languages. These implementations rely on narrowing, in pa...
135
click to vote
RE
2001
Springer
15 years 8 months ago
2001
Springer
Elicitation of requirements for safety critical aeroengine control systems is dependent on the capture of core design intent and the systematic derivation of requirements addressi...
138
click to vote
RT
2001
Springer
15 years 8 months ago
2001
Springer
One of the main goals in realistic rendering is to generate images that are indistinguishable from photographs – but how do observers decide whether an image is photographic or c...
125
Voted
ACSAC
2000
IEEE
15 years 8 months ago
2000
IEEE
The DARPA Information Assurance Program has the aim of developing and executing experiments that test specific hypotheses about defense in depth and dynamic defense capabilities. ...
134
click to vote
HICSS
2000
IEEE
15 years 8 months ago
2000
IEEE
Advances in geographical information systems (GIS) and supporting data collection technology has resulted in the rapid collection of a huge amount of spatial data. However, known ...