2127 search results - page 88 / 426 » Software Automation |
118
click to vote
ICPADS
2005
IEEE
15 years 8 months ago
2005
IEEE
The Internet has become a key instrument for establishing and promoting product brands. Companies are very interested in detecting any misuse of their logos, plagiarism, grey impo...
111
click to vote
SEMWEB
2005
Springer
15 years 8 months ago
2005
Springer
The paper reports on the formal framework to design strategies for multi-issue non-symmetric meaning negotiations among software agents in a distributed information retrieval syste...
115
click to vote
NDSS
2000
IEEE
15 years 7 months ago
2000
IEEE
We describe a new technique for finding potential buffer overrun vulnerabilities in security-critical C code. The key to success is to use static analysis: we formulate detection...
146
click to vote
CDVE
2006
Springer
15 years 6 months ago
2006
Springer
Inter-networked computers enable virtual collaborative work. In the course of interacting with one another, individuals send and receive messages and files of various sorts. This m...
183
click to vote
ATAL
2008
Springer
15 years 4 months ago
2008
Springer
We introduce eCAT, a tool that supports deriving test cases semi-automatically from goal-based analysis diagrams, generates meaningful test inputs based on agent interaction ontol...