1060 search results - page 91 / 212 » Mechanized semantics |
114
Voted
TCS
2002
15 years 3 months ago
2002
ELAN implements computational systems, a concept that combines two first class entities: rewrite rules and rewriting strategies. ELAN can be used either as a logical framework or ...
132
Voted
NOMS
2010
IEEE
15 years 2 months ago
2010
IEEE
—Integration of data from multiple sources makes it possible to build effective systems management solutions. Despite the expected benefits, data integration remains a challenge....
152
Voted
ER
1999
Springer
15 years 8 months ago
1999
Springer
Video data management (VDM) is fast becoming one of seminar topics in multimedia information systems. In VDM systems, there exists an important need for novel techniques and mechan...
121
Voted
WWW
2003
ACM
16 years 4 months ago
2003
ACM
In this paper, we describe the approach to achieve a high level of interoperability in the eduSource. The eduSource project is a panCanadian collaborative project to create a test...
144
Voted
WIMOB
2007
IEEE
15 years 10 months ago
2007
IEEE
Service discovery in mobile ad hoc networks (MANETs) is an integral part for collective application interoperability. The discovery process must cope not only with transient commun...