2373 search results - page 461 / 475 » The Design of the Zinc Modelling Language |
127
click to vote
ASM
2010
ASM
15 years 7 months ago
2010
ASM
and formal model, named Kmelia [1,2], with an associated language to specify components, their provided and required services and their assemblies; we also developed a framework na...
103
click to vote
HT
2005
ACM
15 years 6 months ago
2005
ACM
Hyperlinks are an essential feature of the World Wide Web, highly responsible for its success. XLink improves on HTML’s linking capabilities in several ways. In particular, link...
124
click to vote
WIKIS
2005
ACM
15 years 6 months ago
2005
ACM
Good documentation benefits every software development project, especially large ones, but it can be hard, costly, and tiresome to produce when not supported by appropriate tools...
110
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...
162
click to vote
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...