Sciweavers

3844 search results - page 521 / 769
» Modular interpreted systems
Sort
View
SPIN
2009
Springer
16 years 1 months ago
Symbolic Analysis via Semantic Reinterpretation
Abstract. The paper presents a novel technique to create implementations of the basic primitives used in symbolic program analysis: forward symbolic evaluation, weakest liberal pre...
Junghee Lim, Akash Lal, Thomas W. Reps
DEXAW
2008
IEEE
113views Database» more  DEXAW 2008»
16 years 1 months ago
Gestures, Shapes and Multitouch Interaction
Abstract—We discuss issues related to the design of a multitouch gesture sensing environment, allowing the user to execute both independent and coordinated gestures. We discuss d...
Augusto Celentano, Andrea Minuto
HICSS
2008
IEEE
164views Biometrics» more  HICSS 2008»
16 years 1 months ago
Analysing the Relationship between IT Governance and Business/IT Alignment Maturity
IT governance is one of these concepts that suddenly emerged and became an important issue in the information technology area. Some organisations started with the implementation o...
Steven De Haes, Wim Van Grembergen
HICSS
2008
IEEE
109views Biometrics» more  HICSS 2008»
16 years 1 months ago
Understanding the Blog Service Switching in Hong Kong: An Empirical Investigation
Blogs have become an increasingly popular form of displaying online content for general Internet users. Attracting new bloggers and retaining existing bloggers are crucial to blog...
Kem Z. K. Zhang, Christy M. K. Cheung, Matthew K. ...
HICSS
2008
IEEE
88views Biometrics» more  HICSS 2008»
16 years 1 months ago
An Analysis of Korean National Information Strategy of IT839
Recently, the Korean government launched the IT839 project with the objective of converting Korea into a ubiquitous information society. This study investigates the role of the Ko...
Dong Hee Shin, Won-Yong Kim