Sciweavers

637 search results - page 23 / 128
» A configurable reference modelling language
Sort
View
ESOP
2010
Springer
14 years 6 months ago
Weighted Dynamic Pushdown Networks
We develop a generic framework for the analysis of programs with recursive procedures and dynamic process creation. To this end we combine the approach of weighted pushdown systems...
Alexander Wenner
C5
2008
IEEE
14 years 3 months ago
Children as Active Partners: Strategies for Collaboration in Spatial Tasks through Virtual Worlds
This paper, referring to a work in progress, describes functional elements of the user interface of a Virtual World that may provide an important contribution to the process by wh...
Filipe Santos, Benjamim Fonseca, Leonel Morgado, P...
DSD
2004
IEEE
129views Hardware» more  DSD 2004»
14 years 10 days ago
Functional Validation of Programmable Architectures
Validation of programmable architectures, consisting of processor cores, coprocessors, and memory subsystems, is one of the major bottlenecks in current Systemon-Chip design metho...
Prabhat Mishra, Nikil D. Dutt
IEAAIE
2005
Springer
14 years 2 months ago
Ontology-Based Natural Language Parser for E-Marketplaces
We propose an approach to Natural Language Processing exploiting knowledge domain in an e-commerce scenario. Based on such modeling an NLP parser is presented, aimed at translating...
Stefano Coppi, Tommaso Di Noia, Eugenio Di Sciasci...
FMCO
2004
Springer
112views Formal Methods» more  FMCO 2004»
14 years 2 months ago
Probabilistic Linda-Based Coordination Languages
Abstract. Coordination languages are intended to simplify the development of complex software systems by separating the coordination aspects of an application from its computation ...
Alessandra Di Pierro, Chris Hankin, Herbert Wiklic...