Sciweavers

722 search results - page 56 / 145
» Organizational Abstractions for the Analysis and Design of M...
Sort
View
ISCIS
2004
Springer
14 years 2 months ago
Semi-formal and Formal Models Applied to Flexible Manufacturing Systems
Abstract. Flexible Manufacturing Systems (FMSs) are adopted to process different goods in different mix ratios allowing firms to react quickly and efficiently to changes in produ...
Andrea Matta, Carlo A. Furia, Matteo Rossi
EGICE
2006
14 years 25 days ago
Bio-inspiration: Learning Creative Design Principia
Reusing or modifying known design concepts cannot meet new challenges for engineering systems. However, engineers can find inspiration outside their traditional domains in order to...
Tomasz Arciszewski, Joanna Cornell
EWCBR
2004
Springer
14 years 27 days ago
Using CBR for Semantic Analysis of Software Specifications
Abstract. Helping software designers in their task implies the development of tools with intelligent capabilities. One such capability is the integration of natural language unders...
Nuno Seco, Paulo Gomes, Francisco C. Pereira
ECAI
2008
Springer
13 years 11 months ago
A probabilistic analysis of diagnosability in discrete event systems
Abstract. This paper shows that we can take advantage of information about the probabilities of the occurrences of events, when this information is available, to refine the classic...
Farid Nouioua, Philippe Dague
DAC
2005
ACM
14 years 10 months ago
Operator-based model-order reduction of linear periodically time-varying systems
eriodically time-varying (LPTV) abstractions are useful for a variety of communication and computer subsystems. In this paper, we present a novel operator-based model-order reduct...
Yayun Wan, Jaijeet S. Roychowdhury