137 search results - page 10 / 28 » Differential static analysis: opportunities, applications, a... |
FTIR
2007
14 years 11 months ago
2007
An important part of our information-gathering behavior has always been to find out what other people think. With the growing availability and popularity of opinion-rich resource...
ERLANG
2008
ACM
15 years 1 months ago
2008
ACM
Currently most Erlang programs contain no or very little type information. This sometimes makes them unreliable, hard to use, and difficult to understand and maintain. In this pap...
105
click to vote
KDD
2009
ACM
15 years 4 months ago
2009
ACM
Recent innovations have resulted in a plethora of social applications on the Web, such as blogs, social networks, and community photo and video sharing applications. Such applicat...
100
click to vote
CSMR
2010
IEEE
14 years 6 months ago
2010
IEEE
Abstract--Building comprehensive test suites for web applications poses new challenges in software testing. Coverage criteria used for traditional systems to assess the quality of ...
111
click to vote
AH
2008
Springer
15 years 6 months ago
2008
Springer
The focus of my thesis is on the development of a multi-method framework for the validation of formal models (domain model, user model, and teaching model) for adaptive work-integr...