294 search results - page 49 / 59 » Formal Verification of the Implementability of Timing Requir... |
99
Voted
SAC
2010
ACM
15 years 6 months ago
2010
ACM
Most mainstream system programming languages provide support for builtin types, and extension mechanisms through userdefined types. They also come with a notion of constant expre...
218
Voted
ICDE
2009
IEEE
16 years 2 months ago
2009
IEEE
-- In the database outsourcing paradigm, a data owner (DO) delegates its DBMS administration to a specialized service provider (SP) that receives and processes queries from clients...
104
Voted
DAC
2007
ACM
16 years 1 months ago
2007
ACM
Processing and storage of confidential or critical information is an every day occurrence in computing systems. The trustworthiness of computing devices has become an important co...
107
Voted
SAC
2003
ACM
15 years 5 months ago
2003
ACM
Test Driven Development (TDD) is a software development practice in which unit test cases are incrementally written prior to code implementation. In our research, we ran a set of ...
102
Voted
ECOOP
2007
Springer
15 years 6 months ago
2007
Springer
Object-oriented languages define the identity of an object to be an address-based object identifier. The programmer may customize the notion of object identity by overriding the ...