2106 search results - page 396 / 422 » Operational Semantics for DyLPs |
104
Voted
EDOC
2003
IEEE
15 years 7 months ago
2003
IEEE
The Meta-Object Facility (MOF) provides a standardised framework for object-oriented models. An instance of a MOF model contains objects and links whose interfaces are entirely de...
125
Voted
ADBIS
2003
Springer
15 years 7 months ago
2003
Springer
Abstract. XML views can be used in Web applications to resolve incompatibilities among heterogeneous XML sources. They allow to reduce the amount of data that a user has to deal wi...
116
Voted
FM
2003
Springer
15 years 7 months ago
2003
Springer
We present two instantiations of generic Interactive State Machines (ISMs) with mobility features which are useful for modeling and verifying dynamically changing mobile systems. I...
108
Voted
ISMIS
2003
Springer
15 years 7 months ago
2003
Springer
This paper presents MetaNews, an information gathering agent for news articles on the Web. MetaNews reads HTML documents from online news sites and extracts article information fro...
125
click to vote
ISCA
2010
IEEE
15 years 7 months ago
2010
IEEE
Over the past decade there has been a surge of academic and industrial interest in optimistic concurrency, i.e. the speculative parallel execution of code regions that have the se...