528 search results - page 52 / 106 » Construction of concrete verification models from C |
GMP
2010
IEEE
13 years 9 months ago
2010
IEEE
Abstract. Riemann surfaces naturally appear in the analysis of complex functions that are branched over the complex plane. However, they usually possess a complicated topology and ...
ECMDAFA
2009
Springer
14 years 3 months ago
2009
Springer
Abstract. Model-based development is supposed to improve the development efficiency by raising the abstraction level and generating applications instead of manually coding the appl...
DSS
2006
13 years 8 months ago
2006
This study investigates how customers perceive and adopt Internet Banking (IB) in Hong Kong. We developed a theoretical model based on the Technology Acceptance Model (TAM) with a...
RSP
2007
IEEE
14 years 3 months ago
2007
IEEE
This paper addresses the need for formal specification and runtime verification of system-level requirements of distributed reactive systems. It describes a formalism for specifyi...
TVCG
2008
13 years 8 months ago
2008
We present a system for constructing 3D models of real-world objects with optically challenging surfaces. The system utilizes a new range imaging concept called multipeak range ima...