373 search results - page 19 / 75 » MARTE-based Design of a Multimedia Application and Formal An... |
SAS
2000
Springer
14 years 1 months ago
2000
Springer
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...
ACL
1989
13 years 11 months ago
1989
We present an algorithm for generating strings from logical form encodings that improves upon previous algorithms in that it places fewer restrictions on the class of grammars to ...
CODES
2007
IEEE
14 years 4 months ago
2007
IEEE
We present a novel hybrid approach for performance analysis of a system design. Unlike other approaches in this area, in this paper we do not focus on the determination of pessimi...
SCOPES
2004
Springer
14 years 3 months ago
2004
Springer
An automated framework for code and data partitioning for the needs of data management is presented. The goal is to identify the main data types from the data management perspectiv...
CHI
2004
ACM
14 years 10 months ago
2004
ACM
Currently there is a lack of explicit theories and few detailed guidelines to support the development of Mixed Reality (MR) technology and its varied applications. This research f...