1099 search results - page 213 / 220 » A Formal Approach to Domain-Oriented Software Design Environ... |
224
Voted
SIGMOD
2010
ACM
15 years 4 months ago
2010
ACM
Many modern enterprises are collecting data at the most detailed level possible, creating data repositories ranging from terabytes to petabytes in size. The ability to apply sophi...
187
Voted
ICFP
2009
ACM
16 years 8 days ago
2009
ACM
We present a new approach for constructing and verifying higherorder, imperative programs using the Coq proof assistant. We build on the past work on the Ynot system, which is bas...
ACSAC
2001
IEEE
15 years 3 months ago
2001
IEEE
Vulnerabilities in distributed applications are being uncovered and exploited faster than software engineers can patch the security holes. All too often these weaknesses result fr...
104
click to vote
ANLP
1994
15 years 29 days ago
1994
We present the advantages of guided sentences composition for communicating in natural language with computers. We show how guidance can be achieved by means of the partial synthe...
103
Voted
LCTRTS
2007
Springer
15 years 5 months ago
2007
Springer
Embedded systems serve an emerging and diverse set of applications. As a result, more computational and storage capabilities are added to accommodate ever more demanding applicati...