Sciweavers

8492 search results - page 433 / 1699
» Modelling and Design of Multi-Agent Systems
Sort
View
IFM
2004
Springer
125views Formal Methods» more  IFM 2004»
16 years 9 days ago
Formally Justifying User-Centred Design Rules: A Case Study on Post-completion Errors
Abstract. Interactive systems combine a human operator with a computer. Either may be a source of error. The veri cation processes used must ensure both the correctness of the comp...
Paul Curzon, Ann Blandford
HICSS
2003
IEEE
127views Biometrics» more  HICSS 2003»
16 years 6 days ago
Storage Model for CDA Documents
The Health Level 7 Clinic Document Architecture (CDA) is an XML-based document markup standard that specifies the hierarchical structure and semantics of “clinical documents” ...
Zheng Liang, Peter Bodorik, Michael Shepher
CAISE
2009
Springer
16 years 1 months ago
P2S: A Methodology to Enable Inter-organizational Process Design through Web Services
Abstract. With the advent of Service Oriented Architecture organizations have experienced services as a platform-independent technology to develop and use simple internal applicati...
Devis Bianchini, Cinzia Cappiello, Valeria De Anto...
IROS
2008
IEEE
104views Robotics» more  IROS 2008»
16 years 1 months ago
Optimal design of a 6-dof parallel measurement mechanism integrated in a 3-dof parallel machine-tool
Abstract— This paper presents the design and the optimization of a parallel machine-tool composed of (i) an 3-dof actuated parallel mechanism (a linear Delta) and (ii) a 6-dof me...
David Corbel, Olivier Company, François Pie...
DATE
2007
IEEE
108views Hardware» more  DATE 2007»
16 years 1 months ago
Evaluation of design for reliability techniques in embedded flash memories
Non-volatile Flash memories are becoming more and more popular in Systems-on-Chip (SoC). Embedded Flash (eFlash) memories are based on the well-known floatinggate transistor conce...
Benoît Godard, Jean Michel Daga, Lionel Torr...