Sciweavers

3040 search results - page 172 / 608
» Independent Natural Extension
Sort
View
APN
2007
Springer
14 years 5 months ago
A Compositional Method for the Synthesis of Asynchronous Communication Mechanisms
Asynchronous data communication mechanisms (ACMs) have been extensively studied as data connectors between independently timed concurrent processes. In previous work, an automatic ...
Kyller Costa Gorgônio, Jordi Cortadella, Fei...
EMISA
2007
Springer
14 years 4 months ago
Viewpoint-based Meta Model Engineering
: Work systems are complex artifacts that address the concerns of a large and diverse group of stakeholders. These concerns must be reflected in the models which are created as use...
Stephan Kurpjuweit, Robert Winter
ICWE
2007
Springer
14 years 4 months ago
A Prototype Tool for the Automatic Generation of Adaptive Websites
This paper presents AWAC, a prototype CAWE tool for the automatic generation of adaptive Web applications based on the A-OOH methodology. A-OOH (Adaptive OO-H) is an extension of t...
Irene Garrigós, Cristian Cruz, Jaime G&oacu...
ISICA
2007
Springer
14 years 4 months ago
Parameter Setting for Evolutionary Latent Class Clustering
The latent class model or multivariate multinomial mixture is a powerful model for clustering discrete data. This model is expected to be useful to represent non-homogeneous popula...
Damien Tessier, Marc Schoenauer, Christophe Bierna...
ISSTA
2006
ACM
14 years 4 months ago
Subdomain testing of units and systems with state
This paper extends basic software-testing theory to software components and adds explicit state to the theory. The resulting theory e enough to abstractly model the construction o...
Dick Hamlet