5325 search results - page 264 / 1065 » Effective Computation for Nonlinear Systems |
181
click to vote
PLDI
2010
ACM
16 years 4 months ago
2010
ACM
Dependent types provide a strong foundation for specifying and verifying rich properties of programs through type-checking. The earliest implementations combined dependency, which...
185
click to vote
OOPSLA
1999
Springer
15 years 11 months ago
1999
Springer
Object-based parallel and distributed applications are becoming increasingly popular, driven by the programmability advantages of component technology and a flat shared-object spa...
206
click to vote
CORR
2010
Springer
15 years 6 months ago
2010
Springer
Information security is an issue of global concern. As the Internet is delivering great convenience and benefits to the modern society, the rapidly increasing connectivity and acc...
163
click to vote
CHI
2011
ACM
14 years 10 months ago
2011
ACM
In this paper, we explore the role that attribution plays in shaping user reactions to content reuse, or remixing, in a large user-generated content community. We present two stud...
169
click to vote
BMCBI
2007
15 years 6 months ago
2007
Background: Safety assessment of genetically modified (GM) food, with regard to allergenic potential of transgene-encoded xenoproteins, typically involves several different method...