Sciweavers

6581 search results - page 390 / 1317
» Formalizing Design Patterns
Sort
View
RTAS
2010
IEEE
15 years 2 months ago
Towards the Design of Certifiable Mixed-criticality Systems
Many safety-critical embedded systems are subject to certification requirements; some systems may be required to meet multiple sets of certification requirements, from different c...
Sanjoy K. Baruah, Haohan Li, Leen Stougie
WOA
2010
15 years 2 months ago
MERCURIO: An Interaction-oriented Framework for Designing, Verifying and Programming Multi-Agent Systems
Abstract. This is a position paper reporting the motivations, the starting point and the guidelines that characterise the MERCURIO5 project proposal, submitted to MIUR PRIN 20096 ....
Matteo Baldoni, Cristina Baroglio, Federico Bergen...
BCSHCI
2008
15 years 6 months ago
Effect of fidelity in diagram presentation
The visual fidelity (fidelity) of a design diagram affects perception and design performance. Hand-drawn diagrams are more effective working documents for early design tasks such ...
Louise Yeung, Beryl Plimmer, Brenda Lobb, Douglas ...
GIS
2008
ACM
16 years 6 months ago
Discovering controlling factors of geospatial variables
Efficient means of determining factors controlling spatial distribution of an environmental class variable are of significant interest in Earth science. In this paper, we present ...
Tomasz F. Stepinski, Wei Ding 0003, Christoph F. E...
IPPS
2002
IEEE
15 years 10 months ago
Compiler-Directed I/O Optimization
Despite continued innovations in design of I/O systems, I/O performance has not kept pace with the progress in processor and communication technology. This paper addresses this I/...
Mahmut T. Kandemir, Alok N. Choudhary