6054 search results - page 892 / 1211 » Implementation of Andorra-based Languages |
240
click to vote
ICSNW
2004
Springer
16 years 1 days ago
2004
Springer
Knowledge Sifter is a scaleable agent-based system that supports access to heterogeneous information sources such as the Web, open-source repositories, XML-databases and the emergi...
136
click to vote
ICWE
2004
Springer
16 years 1 days ago
2004
Springer
In this paper we would like to present and describe SIE, a transparent, intelligent Web proxy framework. Its aim is to provide efficient and robust platform for implementing vari...
203
click to vote
ISSAC
2004
Springer
16 years 1 days ago
2004
Springer
In [17], an abstract framework for automatically generating loop invariants of imperative programs was proposed. This framework was then instantiated for the language of conjuncti...
168
click to vote
JELIA
2004
Springer
16 years 1 days ago
2004
Springer
The Nelson-Oppen combination method combines decision procedures for theories satisfying certain conditions into a decision procedure for their union. While the method is known to ...
196
Voted
PERVASIVE
2004
Springer
16 years 1 days ago
2004
Springer
Abstract. When smart objects participate in context-aware applications, changes in their real-world environment can have a significant impact on underlying networking structures. ...