7988 search results - page 323 / 1598 » A Useful Undecidable Theory |
147
Voted
WWW
2005
ACM
16 years 6 months ago
2005
ACM
The correctness of the Z semantics of OWL is the theoretical foundation of using software engineering techniques to verify Web ontologies. As OWL and Z are based on different logi...
144
click to vote
CSEE
2009
Springer
16 years 4 days ago
2009
Springer
This paper describes an application of a Game Development Framework (GDF) Microsoft XNA in software architecture (SA) course at Norwegian University of Science and Technology (NTN...
197
click to vote
HICSS
2008
IEEE
16 years 12 hour ago
2008
IEEE
E-government initiatives are in their infancy in many developing countries. The success of these initiatives is dependent on government support as well as citizens’ adoption of ...
145
click to vote
ICDIM
2007
IEEE
15 years 12 months ago
2007
IEEE
: This paper proposes a context-aware security service providing multiple authentications and authorization from a Security Level which is decided dynamically in a context-aware en...
156
click to vote
CAIP
2007
Springer
15 years 11 months ago
2007
Springer
This paper presents a novel shape recovery technique that combines photometric stereo with polarization information. First, a set of ambiguous surface normals are estimated from po...