Sciweavers

1757 search results - page 9 / 352
» Integrating and Extending JCSP
Sort
View
ICECCS
2007
IEEE
115views Hardware» more  ICECCS 2007»
13 years 11 months ago
On-the-fly model checking for C programs with extended CADP in FMICS-jETI
A current trend in the software engineering community is to integrate different tools in a friendly and powerful development environment for use by final users. This is also the c...
María-del-Mar Gallardo, Pedro Merino, Chris...
SAMOS
2009
Springer
14 years 1 months ago
An Embrace-and-Extend Approach to Managing the Complexity of Future Heterogeneous Systems
Abstract. In this paper, we present a particularly lightweight, integrative approach to programming and executing applications targeting heterogeneous, dynamically reconfigurable ...
Rainer Buchty, Mario Kicherer, David Kramer, Wolfg...
ICWS
2010
IEEE
13 years 5 months ago
Timed Extended Invariants for the Passive Testing of Web Services
The service-oriented approach is becoming more and more popular to integrate highly heterogeneous systems. Web services are the natural evolution of conventional middleware techno...
Gerardo Morales, Stéphane Maag, Ana R. Cava...
VRML
2009
ACM
14 years 1 months ago
Extending X3D for distributed multimedia processing and control
Web-based applications of interactive 3D computer graphics are showing a tendency to get more interconnected and visually complex. Virtual communities like Second Life demand real...
Michael Repplinger, Alexander Löffler, Benjam...
ESWS
2006
Springer
13 years 10 months ago
A Metamodel and UML Profile for Rule-Extended OWL DL Ontologies
In this paper we present a MOF compliant metamodel and UML profile for the Semantic Web Rule Language (SWRL) that integrates with our previous work on a metamodel and UML profile f...
Saartje Brockmans, Peter Haase, Pascal Hitzler, Ru...