Sciweavers

3415 search results - page 160 / 683
» Physical Design Refinement: The
Sort
View
ASM
2008
ASM
15 years 8 months ago
FDIR Architectures for Autonomous Spacecraft: Specification and Assessment with Event-B
On-board Fault Detection, Isolation and Recovery (FDIR) systems are considered to ensure the safety and to increase the autonomy of spacecrafts. They shall be carefully designed an...
Jean-Charles Chaudemar, Charles Castel, Christel S...
IWFM
1998
113views Formal Methods» more  IWFM 1998»
15 years 7 months ago
A Use Case Interpretation of B AMN
In this paper we suggest methods to aid the development of specifications using the B method. We propose an objectoriented approach to specification, developing the structure thro...
Richard Shore
TSP
2010
15 years 1 months ago
Timing estimation and resynchronization for amplify-and- forward communication systems
Abstract--This paper proposes a general framework to effectively estimate the unknown timing and channel parameters, as well as design efficient timing resynchronization algorithms...
Xiao Li, Chengwen Xing, Yik-Chung Wu, S. C. Chan
CHI
2003
ACM
16 years 6 months ago
Take it to the next stage: the roles of role playing in the design process
Using role play at every stage of the design process has been a vital tool for IDEO in working with clients and users. With the dual properties of bringing participants into the m...
Kristian T. Simsarian
DOLAP
1998
ACM
15 years 10 months ago
Methodological Framework for Data Warehouse Design
Though designing a data warehouse requires techniques completely different from those adopted for operational systems, no significant effort has been made so far to develop a comp...
Matteo Golfarelli, Stefano Rizzi