1229 search results - page 178 / 246 » Reflections on the Design of a Specification language |
POS
1994
Springer
13 years 12 months ago
1994
Springer
The differing requirements for concurrency models in programming languages and databases are widely diverse and often seemingly incompatible. The rigid provision of a particular c...
CIDM
2007
IEEE
13 years 11 months ago
2007
IEEE
Natural Language Processing (NLP) is being applied for several information extraction tasks in the biomedical domain. The unique nature of clinical information requires the need fo...
ECOOP
2006
Springer
13 years 9 months ago
2006
Springer
Real-time systems are notoriously difficult to design and implement, and, as many real-time problems are safety-critical, their solutions must be reliable as well as efficient and ...
ICSE
2005
IEEE-ACM
14 years 8 months ago
2005
IEEE-ACM
Data structure repair is a promising technique for enabling programs to execute successfully in the presence of otherwise fatal data structure corruption errors. Previous research...
ECOOP
2007
Springer
13 years 11 months ago
2007
Springer
With the advent of Java 5 annotations, we note a marked increase in the availability of tools that can statically detect potential null dereferences. For such tools to be truly eff...