9145 search results - page 124 / 1829 » Description Logic Systems |
87
Voted
PARLE
1992
15 years 4 months ago
1992
We compare di erent degrees of architecture abstraction and communication reliability in distributed programming languages. A nearly architecture independent logic programming lang...
120
click to vote
ICCAD
2002
IEEE
15 years 9 months ago
2002
IEEE
In this paper we present an advanced functional extraction tool for automatic generation of high-level RTL from switch-level circuit netlist representation. The tool is called FEV...
98
Voted
PERCOM
2009
ACM
16 years 1 months ago
2009
ACM
Abstract--Pervasive computing applications involve both software concerns, like any software system, and integration concerns, for the constituent networked devices of the pervasiv...
99
Voted
ISORC
2009
IEEE
15 years 7 months ago
2009
IEEE
In the automotive domain, several loosely-coupled Architecture Description Languages (ADLs) compete to proet of abstract modeling and analysis services on top of the implementatio...
88
Voted
ENC
2005
IEEE
15 years 6 months ago
2005
IEEE
This paper describes SKIMA, a mediation system that gives transparent access to heterogeneous and distributed sources considering their semantics and the semantics of application ...