10848 search results - page 2093 / 2170 » Programming in Biomolecular Computation |
183
click to vote
ERSHOV
2009
Springer
16 years 20 days ago
2009
Springer
Abstract. Debugging virtual machines (VMs) presents unique challenges, especially meta-circular VMs, which are written in the same language they implement. Making sense of runtime ...
190
Voted
ICMT
2009
Springer
16 years 20 days ago
2009
Springer
Abstract. The QVT Relations (QVT-R) transformation language allows the definition of bidirectional model transformations, which are required in cases where a two (or more) models ...
144
click to vote
OOPSLA
2009
Springer
16 years 19 days ago
2009
Springer
Software correctness has bedeviled the field of computer science since its inception. Software complexity has increased far more quickly than our ability to control it, reaching ...
161
click to vote
ICAIL
2009
ACM
16 years 18 days ago
2009
ACM
Automatic Decision Support Systems (DSS) are widely adopted for screening purposes in socially sensitive tasks, including access to credit, mortgage, insurance, labor market and o...
155
Voted
SOUPS
2009
ACM
16 years 18 days ago
2009
ACM
Abstract. Online privacy policies are difficult to understand. Most privacy policies require a college reading level and an ability to decode legalistic, confusing, or jargon-laden...