14331 search results - page 178 / 2867 » On the modeling and analysis of obligations |
206
click to vote
FMOODS
2007
15 years 8 months ago
2007
This paper describes the application of Real-Time Maude to the formal specification, simulation, and further formal analysis of the sophisticated state-of-the-art OGDC wireless se...
158
click to vote
JCM
2007
15 years 6 months ago
2007
—To address the emerging issues of aging society, new technology creates many opportunities to solve the problem of care service and increases added-value in the digital family. ...
139
click to vote
ICSM
2006
IEEE
16 years 15 days ago
2006
IEEE
— Software maintenance tools for program analysis and refactoring rely on a meta-model capturing the relevant properties of programs. However, what is considered relevant may cha...
165
click to vote
ISMIS
2005
Springer
15 years 12 months ago
2005
Springer
One of the main issues inWeb usage mining is the discovery of patterns in the navigational behavior of Web users. Standard approaches, such as clustering of users’sessions and di...
192
click to vote
DAGM
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. In this work, we propose a model-based approach for estimating the 3D position and orientation of a dummy's head for crash test video analysis. Instead of relying on...