2106 search results - page 48 / 422 » Specifying C concepts |
INTERACT
1997
13 years 9 months ago
1997
The conventional assumption that quality is an attribute of a product is misleading, as the attributes required for quality will depend on how the product is used. Quality of use ...
CONCUR
1997
Springer
13 years 11 months ago
1997
Springer
We prove that a bounded stack can be specified in process algebra with just the operators alternative and sequential composition and iteration. The bounded bag cannot be specified ...
APLAS
2010
ACM
13 years 7 months ago
2010
ACM
We consider the problem of specifying data structures with complex sharing in a manner that is both declarative and results in provably correct code. In our approach, abstract data...
ITICSE
2005
ACM
14 years 1 months ago
2005
ACM
concepts more concrete. The method has two main learning outcomes: • Language Specification – The goal of the assignment is to be able to build LEGO® creations on a standard g...
SPIESR
2001
13 years 9 months ago
2001
Humans tend to use high-level semantic concepts when querying and browsing multimedia databases; there is thus, a need for systems that extract these concepts and make available a...