Sciweavers

4755 search results - page 345 / 951
» An Implementation Model for Collaborative Applications
Sort
View
FAC
2008
117views more  FAC 2008»
15 years 4 months ago
Model checking Duration Calculus: a practical approach
Abstract. Model checking of real-time systems against Duration Calculus (DC) specifications requires the translation of DC formulae into automata-based semantics. The existing algo...
Roland Meyer, Johannes Faber, Jochen Hoenicke, And...
CSJM
2006
124views more  CSJM 2006»
15 years 4 months ago
Text Classification Using Word-Based PPM Models
Text classification is one of the most actual among the natural language processing problems. In this paper the application of word-based PPM (Prediction by Partial Matching) mode...
Victoria Bobicev
ARCS
2005
Springer
15 years 10 months ago
The Organic Features of the AMIDAR Class of Processors
In this contribution we present a novel general model for adaptive processors with organic features. We describe its basic principle of operation. The adaptive operations that are ...
Stephan Gatzka, Christian Hochberger
PATMOS
2004
Springer
15 years 9 months ago
Modular Construction and Power Modelling of Dynamic Memory Managers for Embedded Systems
Portableembeddeddevicesmustpresentlyrunmultimediaandwireless network applications with enormous computational performance requirements at a low energy consumption. In these applica...
David Atienza, Stylianos Mamagkakis, Francky Catth...
SDL
2007
171views Hardware» more  SDL 2007»
15 years 5 months ago
Model Driven Development and Code Generation: An Automotive Case Study
Describing an application as a simple composition of services allows advanced features that exploit different platforms to be conceived e formalized at a high abstraction level. S...
Michele Banci, Alessandro Fantechi, Stefania Gnesi...