1179 search results - page 168 / 236 » Should Superclasses be Abstract |
COMPSAC
2009
IEEE
13 years 11 months ago
2009
IEEE
Abstract. The TransLucid programming language is a low-level intensional language, designed to be sufficiently rich for it to be the target language for translating the common prog...
ECMDAFA
2009
Springer
13 years 11 months ago
2009
Springer
Abstract. Traceability is demanded within mature development processes and offers a wide range of advantages. Nevertheless, there are deterrents to establishing traceability: it c...
ASWC
2008
Springer
13 years 9 months ago
2008
Springer
Abstract. Enabling a system to automatically conceptualize and annotate a human-readable table is one way to create interesting semanticweb content. But exactly "how?" is...
ATVA
2008
Springer
13 years 9 months ago
2008
Springer
Abstract. Non-freely generated data types are widely used in case studies carried out in the theorem prover KIV. The most common examples are stores, sets and arrays. We present an...
AUTONOMICS
2008
ACM
13 years 9 months ago
2008
ACM
Ubiquitous computing and communication environments connect systems and people in unprecedented ways, but also fundamentally challenge the mindset of traditional systems engineeri...