1176 search results - page 114 / 236 » Implicit Abstraction Heuristics |
107
Voted
MM
2005
ACM
15 years 6 months ago
2005
ACM
Music is a very important part of our lives. People enjoy listening to the music, and many of us find a special pleasure in creating the music. Computers further extended many asp...
106
click to vote
ESORICS
2008
Springer
15 years 2 months ago
2008
Springer
Abstract. Cryptographic protocols are useful for engineering trust in transactions. There are several languages for describing these protocols, but these tend to capture the commun...
104
Voted
CSCW
2004
ACM
15 years 15 days ago
2004
ACM
Small-scale classification schemes are used extensively in the coordination of cooperative work. This study investigates the creation and use of a classification scheme for handlin...
128
Voted
MICRO
2010
IEEE
14 years 11 months ago
2010
IEEE
SARC merges cache controller and network interface functions by relying on a single hardware primitive: each access checks the tag and the state of the addressed line for possible...
126
click to vote
RULEML
2009
Springer
15 years 7 months ago
2009
Springer
Rule bases are increasingly being used as repositories of knowledge content on the Semantic Web. As the size and complexity of these rule bases s, developers and end users need met...