Sciweavers

1416 search results - page 184 / 284
» An Exact Interpretation of While
Sort
View
LOPSTR
2007
Springer
14 years 4 months ago
A Flexible, (C)LP-Based Approach to the Analysis of Object-Oriented Programs
Static analyses of object-oriented programs usually rely on intermediate representations that respect the original semantics while having a more uniform and basic syntax. Most of t...
Mario Méndez-Lojo, Jorge Navas, Manuel V. H...
HICSS
2006
IEEE
92views Biometrics» more  HICSS 2006»
14 years 4 months ago
An Integrative Framework for Contextual Factors Affecting IT Implementation
While previous research has provided a great deal of information on individual factors that play a role in IT implementation success, a gap in the research exists when it comes to...
Barbara Edington, Namchul Shin
ICMCS
2006
IEEE
140views Multimedia» more  ICMCS 2006»
14 years 4 months ago
Webdove: a Web-Based Collaboration System for Physical Tasks
While many systems are available for audio-visual people collaboration and data collaboration, systems for collaboration on physical objects are few. In this paper, we present Web...
Weiyi Yang, Jiazhi Ou, Yong Rut, Jie Yang
ICRA
2006
IEEE
87views Robotics» more  ICRA 2006»
14 years 4 months ago
Fast Localization of Avalanche Victims using Sum of Gaussians
— The probability of finding alive a person buried by a snow avalanche decreases dramatically with time. The best chance for the victims is to carry an avalanche beacon or ARVA ...
Pedro Pinies, Juan D. Tardós
SKG
2006
IEEE
14 years 4 months ago
Using Ontologies to Support Customisation and Maintain Interoperability in Distributed Information Systems with Application to t
Abstract. Global distributed systems must be standards-based to allow interoperability between all of their components. While this guarantees interoperability, it often causes loca...
Nickolas J. G. Falkner, Paul D. Coddington, Andrew...