1054 search results - page 47 / 211 » Guarded Expressions in Practice |
DLOG
2008
14 years 1 months ago
2008
Abstract. We investigate the concept product as an expressive feature for description logics (DLs). While this construct allows us to express an arguably very common and natural ty...
SIGSOFT
2003
ACM
14 years 11 months ago
2003
ACM
Memory corruption errors lead to non-deterministic, elusive crashes. This paper describes ARCHER (ARray CHeckER) a static, effective memory access checker. ARCHER uses path-sensit...
ACL
2012
12 years 1 months ago
2012
Metaphors pervade our language because they are elastic enough to allow a speaker to express an affective viewpoint on a topic without committing to a specific meaning. This balan...
CANDC
2009
ACM
14 years 3 months ago
2009
ACM
A tangible material is a primary element in the everyday creative practice of any craft artist. Although craft artists implicitly understand the expressive aspects of the tangible...
IISWC
2008
IEEE
14 years 5 months ago
2008
IEEE
—High-speed content inspection of network traffic is an important new application area for programmable networking systems, and has recently led to several proposals for high-per...