1532 search results - page 200 / 307 » The Symbol Grounding Problem |
138
click to vote
FROCOS
2007
Springer
15 years 10 months ago
2007
Springer
Web services send and receive messages in XML syntax with some parts hashed, encrypted or signed, according to the WS-Security standard. In this paper we introduce a model to forma...
112
click to vote
ISSTA
2006
ACM
15 years 10 months ago
2006
ACM
Test campaigns usually require only a restricted subset of paths in a program to be thoroughly tested. As random testing (RT) offers interesting fault-detection capacities at low ...
138
click to vote
WORDS
2005
IEEE
15 years 10 months ago
2005
IEEE
The main functionality of the Domain Name System (DNS) is to translate symbolic names into IP addresses. Due to the criticality of DNS for the proper functioning of the Internet, ...
141
click to vote
ISSAC
2005
Springer
15 years 10 months ago
2005
Springer
We reduce the problem of computing the rank and a nullspace basis of a univariate polynomial matrix to polynomial matrix multiplication. For an input n×n matrix of degree d over ...
164
click to vote
SPIN
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. This paper presents a technique that uses code to automatically generate its own test cases at run-time by using a combination of symbolic and concrete (i.e., regular) ex...