Sciweavers

750 search results - page 94 / 150
» Using codesign techniques to support analog functionality
Sort
View
IJCIS
2006
161views more  IJCIS 2006»
15 years 2 months ago
Poseidon: a Framework to Assist Web Process Design Based on Business Cases
Systems and infrastructures are currently being developed to support Web services and Web processes. One prominent solution to manage and coordinate Web services is the use of wor...
Jorge Cardoso
RTA
2010
Springer
15 years 6 months ago
A Rewriting Logic Semantics Approach to Modular Program Analysis
The K framework, based on rewriting logic semantics, provides a powerful logic for defining the semantics of programming languages. While most work in this area has focused on deļ...
Mark Hills, Grigore Rosu
XIMEP
2005
ACM
126views Database» more  XIMEP 2005»
15 years 7 months ago
Purely Relational FLWORs
We report on a compilation procedure that derives relational algebra plans from arbitrarily nested XQuery FLWOR blocks. While recent research was able to develop relational encodi...
Torsten Grust
ECBS
2002
IEEE
146views Hardware» more  ECBS 2002»
15 years 7 months ago
Top-Down Composition of Software Architectures
This paper discusses an approach for top-down composition of software architectures. First, an architecture is derived that addresses functional requirements only. This architectu...
Hans de Bruin, Hans van Vliet
VRML
1998
ACM
15 years 6 months ago
Building OpenWorlds
This paper discusses the history and design decisions behind OpenWorlds, the first C++ toolkit for VRML 2.0 integration. OpenWorlds is a highly extensible set of libraries which s...
Paul J. Diefenbach, Prakash Mahesh, Daniel Hunt