2813 search results - page 55 / 563 » Formalizing Architectural Connection |
139
click to vote
MM
2010
ACM
15 years 25 days ago
2010
ACM
Visual search connects physical (offline) objects with (online) digital media. Using objects from the environment, like newspapers, magazines, books and posters, we can retrieve s...
85
Voted
LREC
2008
15 years 3 months ago
2008
Many systems have been developed in the past few years to assist researchers in the discovery of knowledge published as English text, for example in the PubMed database. At the sa...
105
click to vote
IJCIS
2006
15 years 2 months ago
2006
entifies three levels of abstraction for resource requirements a service provider needs to manage, detailed specification of raw resources, virtualization of heterogeneous resource...
TPHOL
2000
IEEE
15 years 6 months ago
2000
IEEE
This paper outlines a formal model of the Intel IA-64 architecture, and explains how this model can be used to verify the correctness of assembly-level code optimizations. The form...
133
Voted
BIRTHDAY
2003
Springer
15 years 7 months ago
2003
Springer
Abstract. This case study applies techniques of formal program development by specification refinement and composition to the problem of concurrent garbage collection. The speci...