1525 search results - page 206 / 305 » Formal Models for Communication-Based Design |
107
click to vote
SAC
2004
ACM
15 years 6 months ago
2004
ACM
Until recently, issues in image retrieval have been handled in DBMSs and in computer vision as separate research works. Nowadays, the trend is towards integrating the two approach...
158
Voted
CAV
1998
Springer
15 years 5 months ago
1998
Springer
As a pedagogical exercise in ACL2, we formalize and prove the correctness of a write invalidate cache scheme. In our formalization, an arbitrary number of processors, each with its...
85
Voted
AAAI
2010
15 years 2 months ago
2010
In several application areas for Planning, in particular helping with the creation of new processes in Business Process Management (BPM), a major obstacle lies in the modeling. Ob...
139
Voted
FIDJI
2003
Springer
15 years 6 months ago
2003
Springer
The popular slogan ”write once, run anywhere” effectively renders the expressive capabilities of the Java programming framework for developing, deploying, and reusing target-i...
196
click to vote
SIGMOD
2009
ACM
16 years 1 months ago
2009
ACM
Whether beloved or despised, XML Schema is momentarily the only industrially accepted schema language for XML and is unlikely to become obsolete any time soon. Nevertheless, many ...