Sciweavers

2370 search results - page 216 / 474
» On the Revival of Dynamic Languages
Sort
View
DATE
2008
IEEE
115views Hardware» more  DATE 2008»
16 years 1 months ago
Synthesizing Synchronous Elastic Flow Networks
This paper describes an implementation language and synthesis system for automatically generating latency insensitive synchronous digital designs. These designs decouple behaviora...
Greg Hoover, Forrest Brewer
COST
2007
Springer
86views Multimedia» more  COST 2007»
16 years 1 months ago
Presenting in Style by Virtual Humans
The paper addresses the issue of making Virtual Humans unique and typical of some (social or ethnical) group, by endowing them with style. First a conceptual framework of defining ...
Zsófia Ruttkay
DBPL
2007
Springer
115views Database» more  DBPL 2007»
16 years 1 months ago
XML Publishing: Bridging Theory and Practice
Transforming relational data into XML, as known as XML publishing, is often necessary when one wants to exchange data residing in databases or to create an XML interface of a tradi...
Wenfei Fan
ESOP
2007
Springer
16 years 1 months ago
Structured Communication-Centred Programming for Web Services
This paper relates two different paradigms of descriptions of communication behaviour, one focussing on global message flows and another on end-point behaviours, using formal cal...
Marco Carbone, Kohei Honda, Nobuko Yoshida
WSFM
2007
Springer
16 years 1 months ago
From BPEL to SRML: A Formal Transformational Approach
The SENSORIA Reference Modelling Language (SRML) provides primitives for modelling business processes in a technology agnostic way. At the core of SRML is the notion of module as a...
Laura Bocchi, Yi Hong, Antónia Lopes, Jos&e...