883 search results - page 111 / 177 » Getting the right design and the design right |
PADL
1999
Springer
14 years 1 months ago
1999
Springer
The copying approach to tabling (CAT) is an alternative to SLG-WAM and based on incrementally copying the areas that the SLG-WAM freezes to preserve execution states of suspended ...
WETICE
1998
IEEE
14 years 1 months ago
1998
IEEE
We describe a system whose purpose is to explore the use of certificates for the distributed management of access rights for resources that have multiple, independent, and geograp...
FMCAD
1998
Springer
14 years 1 months ago
1998
Springer
Executable formal speci cation can allow engineers to test (or simulate) the speci ed system on concrete data before the system is implemented. This is beginning to gain acceptance...
BIRD
2007
Springer
14 years 1 months ago
2007
Springer
Abstract. Searching and mining nuclear magnetic resonance (NMR)spectra of naturally occurring substances is an important task to investigate new potentially useful chemical compoun...
DRM
2006
Springer
14 years 20 days ago
2006
Springer
Through legislation and technology the film industry has been seeking to fully control usage of the bits it creates; their model is "restrictive" digital-rights manageme...