1060 search results - page 91 / 212 » Mechanized semantics |
TCS
2002
14 years 9 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 ...
NOMS
2010
IEEE
14 years 8 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....
ER
1999
Springer
15 years 2 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...
WWW
2003
ACM
15 years 10 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...
WIMOB
2007
IEEE
15 years 4 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...