32032 search results - page 6083 / 6407 » Verified programming in Guru |
196
Voted
ISSTA
2006
ACM
16 years 23 days ago
2006
ACM
This paper addresses issues involved when an architect explore alternative designs including non-functional requirements; in our approach, non-functional requirements are expresse...
213
click to vote
IUI
2006
ACM
16 years 23 days ago
2006
ACM
Studying the relationship between natural language and affective information as well as assessing the underpinned affective qualities of natural language are becoming crucial for ...
174
Voted
MINENET
2006
ACM
16 years 22 days ago
2006
ACM
Security incidents have an adverse impact not only on end systems, but also on Internet routing, resulting in many out-of-reach prefixes. Previous work has looked at performance ...
225
click to vote
MM
2006
ACM
16 years 22 days ago
2006
ACM
Automated annotation of digital pictures has been a highly challenging problem for computer scientists since the invention of computers. The capability of annotating pictures by c...
179
click to vote
MSR
2006
ACM
16 years 22 days ago
2006
ACM
Various static analysis tools will analyze a software artifact in order to identify potential defects, such as misused APIs, race conditions and deadlocks, and security vulnerabil...