Sciweavers

1818 search results - page 258 / 364
» Operant conditioning
Sort
View
112
Voted
FASE
2007
Springer
15 years 8 months ago
Information Preserving Bidirectional Model Transformations
Abstract. Within model-driven software development, model transformation has become a key activity. It refers to a variety of operations modifying a model for various purposes such...
Hartmut Ehrig, Karsten Ehrig, Claudia Ermel, Frank...
ICSOC
2007
Springer
15 years 8 months ago
Service License Composition and Compatibility Analysis
Services enable the transformation of the World Wide Web as distributed interoperable systems interacting beyond organizational boundaries. Service licensing enables broader usage ...
G. R. Gangadharan, Michael Weiss, Vincenzo D'Andre...
MIDDLEWARE
2007
Springer
15 years 8 months ago
SPS: a middleware for multi-user sensor systems
With the increased realisation of the benefits of studying environmental data, sensor networks are rapidly scaling in size, heterogeneity of data, and applications. In this paper...
Salman Taherian, Jean Bacon
116
Voted
SAFECOMP
2007
Springer
15 years 8 months ago
Controller Architecture for Safe Cognitive Technical Systems
Abstract. Cognition of technical systems, as the ability to perceive situations, to learn about favorable behavior, and to autonomously generate decisions, adds new attributes to s...
Sebastian Kain, Hao Ding, Frank Schiller, Olaf Stu...
105
Voted
SAS
2007
Springer
106views Formal Methods» more  SAS 2007»
15 years 8 months ago
Guided Static Analysis
In static analysis, the semantics of the program is expressed as a set ions. The equations are solved iteratively over some abstract domain. If ract domain is distributive and sati...
Denis Gopan, Thomas W. Reps