Sciweavers

1230 search results - page 19 / 246
» On Abstraction in Scenarios
Sort
View
SAS
2000
Springer
13 years 11 months ago
Enforcing Design Constraints with Object Logic
Design constraints express essential behavioural properties of a software system. Two key elements of a scheme for enforcing design constraints are presented: a logic for describin...
Daniel Jackson
ISCAS
2008
IEEE
109views Hardware» more  ISCAS 2008»
14 years 1 months ago
A dual-core programmable decoder for LDPC convolutional codes
Abstract— We present the concepts and realization of a highly parallelized decoder architecture for LDPC convolutional codes and tailbiting LDPC convolutional codes. This archite...
Marcos B. S. Tavares, Emil Matús, Steffen K...
MODELS
2007
Springer
14 years 1 months ago
Bidirectional Model Transformations in QVT: Semantic Issues and Open Questions
Abstract. We consider the OMG’s Queries, Views and Transformations (QVT) standard as applied to the specification of bidirectional transformations between models. We discuss wha...
Perdita Stevens
ISCAS
2006
IEEE
109views Hardware» more  ISCAS 2006»
14 years 1 months ago
Network-on-chip quality-of-service through multiprotocol label switching
Abstract— Providing Quality-of-Service (QoS) in networks-onchip (NoCs) will be an important consideration for the complex multiprocessor chips of the future. In this paper, we di...
Manho Kim, Daewook Kim, Gerald E. Sobelman
STORYTELLING
2005
Springer
14 years 29 days ago
Generating Verbal and Nonverbal Utterances for Virtual Characters
Abstract. We introduce an approach to multimodal generation of verbal and nonverbal contributions for virtual characters in a multiparty dialogue scenario. This approach addresses ...
Benjamin Kempe, Norbert Pfleger, Markus Löcke...