Sciweavers

1895 search results - page 201 / 379
» Modular Functional Descriptions
Sort
View
IFIP
1998
Springer
14 years 9 days ago
Media Transformations for the Representation and Communication of Multimedia Production Activities
Case studies made of multimedia document production highlight the need for a means of classifying and describing the transformations of media elements which make up this process. ...
S. Morris
ECOWS
2004
Springer
13 years 11 months ago
Coupled Signature and Specification Matching for Automatic Service Binding
Abstract. Matching of semantic service descriptions is the key to automatic service discovery and binding. Existing approaches split the matchmaking process in two step: signature ...
Michael Klein, Birgitta König-Ries
PPDP
2000
Springer
13 years 11 months ago
A model for comparing the space usage of lazy evaluators
Identifying the source of space faults in functional programs is hard. The problem is compoundedas space usage can vary enormously from one implementation to another. We use a ter...
Adam Bakewell, Colin Runciman
ASAP
2007
IEEE
118views Hardware» more  ASAP 2007»
13 years 10 months ago
Evaluation of a Tightly Coupled ASIP / Co-Processor Architecture Used in GNSS Receivers
This paper presents the enhancement of an ASIP’s floating point performance by coupling of a co-processor and adding of special instructions. Processor hardware modifications an...
Götz Kappen, S. el Bahri, O. Priebe, Tobias G...
ECMDAFA
2008
Springer
97views Hardware» more  ECMDAFA 2008»
13 years 10 months ago
Model-Driven Security in Practice: An Industrial Experience
Abstract. In this paper we report on our experience on using the socalled model-driven security approach in an MDA industrial project. In model-driven security, "designers spe...
Manuel Clavel, Viviane da Silva, Christiano Braga,...