4211 search results - page 698 / 843 » A formal approach to MASQ |
150
click to vote
SEFM
2007
IEEE
16 years 22 days ago
2007
IEEE
It is a common phenomenon for research projects to collect and analyse valuable data using ad-hoc information systems. These costly-to-build systems are often composed of incompat...
170
click to vote
WCRE
2007
IEEE
16 years 22 days ago
2007
IEEE
Our analysis of crosscutting concerns in real-life software systems (totaling over 500,000 LOC) and in reports from literature indicated a number of properties that allow for thei...
184
click to vote
WETICE
2007
IEEE
16 years 22 days ago
2007
IEEE
With orchestrations, one service may be realized through the cooperation of several services. This cooperation has to be formally described. In this paper, we propose to describe ...
184
click to vote
ATAL
2007
Springer
16 years 20 days ago
2007
Springer
In order to support semantic interoperation in open environments, where agents can dynamically join or leave and no prior assumption can be made on the ontologies to align, the di...
164
click to vote
AUSDM
2007
Springer
16 years 20 days ago
2007
Springer
Most current ontology management systems concentrate on detecting usage-driven changes and representing changes formally in order to maintain the consistency. In this paper, we pr...