14331 search results - page 48 / 2867 » On the modeling and analysis of obligations |
161
Voted
HYBRID
2010
Springer
15 years 3 months ago
2010
Springer
In this paper, we describe a receding horizon scheme that satisfies a class of linear temporal logic specifications sufficient to describe a wide range of properties including saf...
89
Voted
WSC
1998
15 years 3 months ago
1998
This article presents the results of research to develop a descriptive model of firm-level productivity that will allow a myriad of factor interactions to be directly accounted fo...
JLP
2010
14 years 8 months ago
2010
Model programs are high-level behavioral specifications used for software testing and design analysis. Composition of model programs is a versatile technique that, at one end of t...
ICDAR
2009
IEEE
15 years 8 months ago
2009
IEEE
80
Voted
ICDAR
2003
IEEE
15 years 7 months ago
2003
IEEE