3812 search results - page 370 / 763 » Combinations of TRAP Based Systems |
173
click to vote
ICCS
2005
Springer
16 years 8 days ago
2005
Springer
Abstract We describe the ‘Hierarchical as View’ approach to knowledge integration from heterogeneous sources. This is based on a novel representation called Layered Conceptual ...
157
click to vote
TCS
2002
15 years 6 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 ...
181
click to vote
INFOCOM
2007
IEEE
16 years 1 months ago
2007
IEEE
— The forthcoming 4G cellular systems will provide broadband wireless access to a variety of advanced data and voice services. In order to do that, these networks will have a sig...
188
click to vote
WIOPT
2010
IEEE
15 years 5 months ago
2010
IEEE
—We consider a Ferry based Wireless Local Area Network (FWLAN), in which information is forwarded from a base station to sensors, or gathered from sensors to a base station using...
190
click to vote
JFP
2008
15 years 6 months ago
2008
This paper shows how type effect systems can be combined with model-checking techniques to produce powerful, automatically verifiable program logics for higher order programs. The...