261 search results - page 31 / 53 » Iterative Development of Transformation Models by Using Clas... |
ENTCS
2007
13 years 7 months ago
2007
This paper promotes compositional reasoning in the context of safety-critical systems, and demonstrates a safety-oriented component model using an application from the automotive ...
ALT
2008
Springer
14 years 4 months ago
2008
Springer
Abstract For many centuries scientists have wondered how the human brain represents thoughts in terms of the underlying biology of neural activity. Philosophers, linguists, cogniti...
SIGMOD
2007
ACM
14 years 7 months ago
2007
ACM
Translating data and data access operations between applications and databases is a longstanding data management problem. We present a novel approach to this problem, in which the...
HT
2006
ACM
14 years 1 months ago
2006
ACM
This paper presents a new definition of context for contextaware computing based on a model that relies on dynamic queries over structured objects. This new model enables develop...
STEP
2005
IEEE
14 years 1 months ago
2005
IEEE
Interoperability in service oriented environments is heavily in uenced by the view that the cooperating services have on their data. e term service for the abstract contract concl...