1812 search results - page 312 / 363 » Dynamic Updating of Software Systems Based on Aspects |
162
Voted
COOPIS
2002
IEEE
15 years 9 months ago
2002
IEEE
This paper presents a specifically database-inspired approach (called DOGMA) for engineering formal ontologies, implemented as shared resources used to express agreed formal semant...
175
Voted
ICDE
2012
IEEE
13 years 7 months ago
2012
IEEE
Abstract— Recently, lots of micro-blog message sharing applications have emerged on the web. Users can publish short messages freely and get notified by the subscriptions instan...
170
click to vote
MBEES
2008
15 years 6 months ago
2008
: In this paper, we discuss adjustable coverage criteria and their combinations in model-based testing. We formalize coverage criteria and specify test goals using OCL. Then, we pr...
143
click to vote
BC
2010
15 years 2 months ago
2010
We have previously tried to explain perceptual inference and learning under a free-energy principle that pursues Helmholtz's agenda to understand the brain in terms of energy ...
130
click to vote
RE
2001
Springer
15 years 9 months ago
2001
Springer
at different levels of abstraction. There are two very different ways of using such languages. One approach is based on the manifestation of a single model, with construction of di...