Sciweavers

567 search results - page 74 / 114
» Play the Language: Play Coreference
Sort
View
ECEASST
2008
69views more  ECEASST 2008»
14 years 11 months ago
Verifying Model Transformations by Structural Correspondence
: Model transformations play a significant role in model based software development, and the correctness of the transformation is crucial to the success of the development effort. ...
Anantha Narayanan, Gabor Karsai
JLP
2007
159views more  JLP 2007»
14 years 11 months ago
Reasoning about interaction protocols for customizing web service selection and composition
This work faces the problem of web service selection and composition, discussing the advantages that derive from the inclusion, in a web service declarative description, of the hi...
Matteo Baldoni, Cristina Baroglio, Alberto Martell...
CSSE
2004
IEEE
14 years 11 months ago
Specifying multimedia access control using RDF
The Synchronized Multimedia Integration Language (SMIL) [Aya01] is an W3C [W3C03] specification for authoring multimedia documents. Although SMIL has XML like syntactic constructs...
Naren Kodali, Csilla Farkas, Duminda Wijesekera
SAC
2008
ACM
14 years 10 months ago
UML-based design test generation
In this paper we investigate and propose a fully automated technique to perform conformance checking of Java implementations against UML class diagrams. In our approach, we reused...
Waldemar Pires, João Brunet, Franklin Ramal...
COGSCI
2010
75views more  COGSCI 2010»
14 years 9 months ago
Five Reasons to Doubt the Existence of a Geometric Module
It is frequently claimed that the human mind is organized in a modular fashion, a hypothesis linked historically, though not inevitably, to the claim that many aspects of the huma...
Alexandra D. Twyman, Nora S. Newcombe