12981 search results - page 605 / 2597 » Model Checking (Abstract) |
233
click to vote
HUMO
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. Learned, activity-specific motion models are useful for human pose and motion estimation. Nevertheless, while the use of activityspecific models simplifies monocular t...
216
click to vote
AOSE
2005
Springer
16 years 26 days ago
2005
Springer
Abstract. Current Agent-Oriented Software Engineering (AOSE) methodologies adopt a model-based approach for analysis and design, but, in order to become of practical use, they shou...
133
click to vote
ICSM
2009
IEEE
16 years 1 months ago
2009
IEEE
ISO 9126 promotes a three-level model of quality (factors, criteria, and metrics) which allows one to assess quality at the top level of factors and criteria. However, it is dif...
238
Voted
ESWS
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. RDF will often be the metadata model of choice in the Semantic Sensor Web. However, RDF can only represent thematic metadata and needs to be extended if we want to model ...
209
click to vote
FASE
2004
Springer
16 years 21 days ago
2004
Springer
Abstract. Organizations use Role-Based Access Control (RBAC) to protect computer-based resources from unauthorized access. There has been considerable work on formally specifying R...