10159 search results - page 1851 / 2032 » System Design Validation Using Formal Models |
ICIP
2003
IEEE
14 years 10 months ago
2003
IEEE
In this paper we show how a system for performing automatic surface model acquisition from single object views can be designed. The surface acquisition process is a two step one. ...
ICSE
2009
IEEE-ACM
14 years 9 months ago
2009
IEEE-ACM
Context-aware Web services are currently emerging as an important technology for building innovative contextaware applications. Unfortunately, context-aware Web services are still...
SIGSOFT
2008
ACM
14 years 9 months ago
2008
ACM
Alloy specifications are used to define lightweight models of systems. We present Alchemy, which compiles Alloy specifications into implementations that execute against persistent...
WWW
2008
ACM
14 years 9 months ago
2008
ACM
In this paper, we discuss challenges and provide solutions for capturing and maintaining accurate models of user profiles using semantic web technologies, by aggregating and shari...
WWW
2006
ACM
14 years 9 months ago
2006
ACM
Trust is an integral part of the Semantic Web architecture. Most prior work on trust focuses on entity-centered issues such as authentication and reputation and does not take into...