14331 search results - page 81 / 2867 » On the modeling and analysis of obligations |
189
click to vote
FM
1999
Springer
15 years 10 months ago
1999
Springer
Abstract. The design of controllers for hybridsystems i.e. mixeddiscretecontinuous systems in a systematic manner remains a challenging task. In this case study, we apply formal m...
165
click to vote
HCI
2007
15 years 7 months ago
2007
This paper presents an Activity Theoretical analysis and design model for Web-based experimentation, which is one of the online activities that plays a key role in the development ...
158
click to vote
DATE
2008
IEEE
16 years 23 days ago
2008
IEEE
—Latch based circuits are widely adopted in high performance circuits. But there is a lack of accurate latch models for doing timing analysis. In this paper, we propose a new lat...
152
click to vote
SPLC
2008
15 years 7 months ago
2008
Scalability is recognized as a key challenge in the automated analysis of Feature Models (FMs). Current solutions in this context mainly propose using different logic paradigms as...
174
click to vote
PAMI
2006
15 years 6 months ago
2006
A fast AAM search algorithm based on canonical correlation analysis (CCA-AAM) is introduced. It efficiently models the dependency between texture residuals and model parameters dur...