14331 search results - page 93 / 2867 » On the modeling and analysis of obligations |
194
click to vote
IEEEARES
2008
IEEE
16 years 22 days ago
2008
IEEE
Reliability analysis has become an integral part of system design and operating. This is especially true for systems performing critical tasks such as mass transportation systems....
170
click to vote
ICVGIP
2004
15 years 7 months ago
2004
1 We present a functional data analysis (FDA) based method to statistically model continuous signs of the American Sign Language (ASL) for use in the recognition of signs in contin...
175
click to vote
APCCM
2009
15 years 7 months ago
2009
In life science, deeper understanding of biomolecular systems is acquired by computational modeling and analysis. For the modeling of several kinds of reaction networks, e.g. sign...
195
click to vote
JUCS
2010
15 years 1 months ago
2010
: There is a need for more rigorous analysis techniques that developers can use for verifying the critical properties in UML models. The UML-based Specification Environment (USE) t...
153
click to vote
ICST
2009
IEEE
16 years 29 days ago
2009
IEEE
Automated static analysis can identify potential source code anomalies early in the software process that could lead to field failures. However, only a small portion of static ana...