Abstract We describe an event-based, publishand-subscribe system based on using "smart subscriptions" to recognize weakly structured events. We present a hierarchy of sub...
Abstract. Distributedobject middleware, suchas CORBA, hides systemand network-speci c characteristics of objects behind functional interface speci cations. This simpli es developme...
Joseph P. Loyall, David E. Bakken, Richard E. Scha...
In thii paper,weconsiderMOBY. a distributedarchitectureto support the developmentof expert databasesystemsin a rule based language.It combinesstandardindexing andhorizontaldatapar...
Abstract. To support model-based development and analysis of embedded systems, the specification language VDM++ has been extended with asynchronous communication and improved timin...
In consequence of changing requirements and technological progress, software languages are subject to change. The changes affect the language’s specification, which in turn a...
Markus Herrmannsdoerfer, Daniel Ratiu, Guido Wachs...