14331 search results - page 136 / 2867 » On the modeling and analysis of obligations |
168
click to vote
DATE
2007
IEEE
16 years 22 days ago
2007
IEEE
This paper introduces a method and tool-support for the automatic analysis and verification of hybrid and embedded control systems, whose continuous dynamics are often modelled u...
184
click to vote
HASE
2007
IEEE
16 years 22 days ago
2007
IEEE
Fault Tree Analysis (FTA) is a safety-analysis technique that has been recently extended to accommodate product-line engineering for critical domains. This paper describes a tool-...
158
click to vote
DAGSTUHL
2006
15 years 7 months ago
2006
A major task in designing systems development is the systematic elaboration of functional system requirements and their integration into the environment of the overall technical s...
179
click to vote
CJ
2004
15 years 6 months ago
2004
This paper describes a way to manage the modeling and analysis of Scheduled Maintenance Systems (SMS) within an analytically tractable context. We chose a significant case study h...
179
click to vote
EXPERT
2010
15 years 3 months ago
2010
Human behavior recognition is one of the most important and challenging objectives performed by intelligent vision systems. Several issues must be faced in this domain ranging fro...