Sciweavers

9210 search results - page 1486 / 1842
» Analyzing Real-Time Systems
Sort
View
HICSS
2009
IEEE
123views Biometrics» more  HICSS 2009»
15 years 12 months ago
Towards Conceptual Metamodeling of IT Governance Frameworks Approach - Use - Benefits
Up to now, there has been little academic support for the challenges of IT governance/IT management. As a reaction, various best practice frameworks - like COBIT or CMMI - were de...
Matthias Goeken, Stefanie Alter
HICSS
2009
IEEE
321views Biometrics» more  HICSS 2009»
15 years 12 months ago
A Conceptual Model for Studying the Influence of Charismatic Leadership on ERP Implementation Lifecycle
In the context of ERP implementation, leadership is consistently found to be the most important factor leading to implementation success. However, most of the studies focus on lea...
Zhen Shao, Yuqiang Feng, Qing Hu, Yang Liu
HRI
2009
ACM
15 years 12 months ago
An information pipeline model of human-robot interaction
This paper investigates the potential usefulness of viewing the system of human, robot, and environment as an “information pipeline” from environment to user and back again. I...
Kevin Gold
ICFP
2009
ACM
15 years 12 months ago
Finding race conditions in Erlang with QuickCheck and PULSE
We address the problem of testing and debugging concurrent, distributed Erlang applications. In concurrent programs, race conditions are a common class of bugs and are very hard t...
Koen Claessen, Michal Palka, Nicholas Smallbone, J...
FASE
2009
Springer
15 years 12 months ago
Transformation of Type Graphs with Inheritance for Ensuring Security in E-Government Networks
Abstract. E-government services usually process large amounts of confidential data. Therefore, security requirements for the communication between components have to be adhered in...
Frank Hermann, Hartmut Ehrig, Claudia Ermel
« Prev « First page 1486 / 1842 Last » Next »