2500 search results - page 385 / 500 » Specifying Behavior in C |
130
Voted
FASE
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. API error-handling specifications are often not documented, necessitating automated specification mining. Automated mining of error-handling specifications is challenging...
HRI
2007
ACM
15 years 7 months ago
2007
ACM
HRI researchers interested in social robots have made large investments in humanoid robots. There is still sparse evidence that peoples' responses to robots differ from their...
137
click to vote
CEAS
2006
Springer
15 years 7 months ago
2006
Springer
In this paper we detail the use of e-mail social network analysis for the detection of security policy violations on computer systems. We begin by formalizing basic policies that ...
144
Voted
CIKM
2006
Springer
15 years 7 months ago
2006
Springer
We propose a method for discovering the dependency relationships between the topics of documents shared in social networks using the latent social interactions, attempting to answ...
156
Voted
EGICE
2006
15 years 7 months ago
2006
System identification is an abductive task which is affected by several kinds of modeling assumptions and measurement errors. Therefore, instead of optimizing values of parameters ...