6618 search results - page 952 / 1324 » Natural Logic for Natural Language |
209
click to vote
MODELS
2007
Springer
16 years 1 months ago
2007
Springer
The rising adoption and incorporation of computers into everyday life requires human-computer interaction methods to be efficient and easy to understand. Simultaneously, complexit...
195
click to vote
OTM
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. Protocols that govern the interactions between software components are a popular means to support the construction of correct component-based systems. Previous studies ha...
179
click to vote
ASPLOS
2006
ACM
16 years 1 months ago
2006
ACM
We present the design, implementation, and evaluation of HeapMD, a dynamic analysis tool that finds heap-based bugs using anomaly detection. HeapMD is based upon the observation ...
244
click to vote
PLDI
2006
ACM
16 years 1 months ago
2006
ACM
Constructing correct concurrent garbage collection algorithms is notoriously hard. Numerous such algorithms have been proposed, implemented, and deployed – and yet the relations...
196
click to vote
FDL
2005
IEEE
16 years 1 months ago
2005
IEEE
Verification and validation are key issues for today's SoC design projects. This paper presents the implementation of a SystemC based environment for transaction-based verifi...