Sciweavers

14331 search results - page 116 / 2867
» On the modeling and analysis of obligations
Sort
View
MIRAGE
2007
Springer
16 years 14 days ago
Model-Based Feature Extraction for Gait Analysis and Recognition
Human motion analysis has received a great attention from researchers in the last decade due to its potential use in different applications. We propose a new approach to extract h...
Imed Bouchrika, Mark S. Nixon
DAC
2002
ACM
16 years 7 months ago
Model composition for scheduling analysis in platform design
We present a compositional approach to analyze timing behavior of complex platforms with different scheduling strategies. The approach uses event interfacing in order to couple pr...
Kai Richter, Dirk Ziegenbein, Marek Jersak, Rolf E...
ICCS
2005
Springer
15 years 12 months ago
Using Formal Concept Analysis and Information Flow for Modelling and Sharing Common Semantics: Lessons Learnt and Emergent Issue
Abstract. We have been witnessing an explosion of user involvement in knowledge creation, publication and access both from within and between organisations. This is partly due to t...
Yannis Kalfoglou, W. Marco Schorlemmer
DAC
1996
ACM
15 years 10 months ago
Efficient Full-Wave Electromagnetic Analysis via Model-Order Reduction of Fast Integral Transforms
Abstract-An efficient full-wave electromagnetic analysis tool would be useful in many aspects of engineering design. Development of integral-equation based tools has been hampered ...
Joel R. Philips, Eli Chiprout, David D. Ling
IPPS
2007
IEEE
16 years 20 days ago
Dependability Modeling and Analysis in Dynamic Systems
Dependability evaluation is an important, often indispensable, step in (critical) systems design and analysis pro
Salvatore Distefano, Antonio Puliafito