Sciweavers

2228 search results - page 200 / 446
» Electronic Payment Systems
Sort
View
BIRTHDAY
2006
Springer
15 years 10 months ago
Realistic Worst-Case Execution Time Analysis in the Context of Pervasive System Verification
We describe a gate level design of a FlexRay-like bus interface. An electronic control unit (ECU) is obtained by integrating this interface into the design of the verified VAMP pro...
Steffen Knapp, Wolfgang J. Paul
SAFECOMP
2000
Springer
15 years 10 months ago
Derivation of Safety Targets for the Random Failure of Programmable Vehicle Based Systems
Increasingly, the dependability of vehicle based programmable systems is becoming a key feature in ensuring the safety of those in and around the vehicle. The goal of those respons...
Richard Evans, Jonathan D. Moffett
SAC
2010
ACM
15 years 8 months ago
Scalable analysis of collective behaviour in smart service systems
The long term vision of smart service systems in which electronic environments are made sensitive and responsive to the presence of, possibly many, people is gradually taking shap...
Mieke Massink, Michael D. Harrison, Diego Latella
DELFI
2007
15 years 8 months ago
Notetaking in University Courses and its Implications for eLearning Systems
: This paper presents the results of a study on notetaking in university courses and derives implications for the design of electronic notetaking and annotation systems in eLearnin...
Jürgen Steimle, Iryna Gurevych, Max Mühl...
ECIS
2000
15 years 8 months ago
A Theory of Industry-Level Activity for Understanding the Adoption of Interorganizational Systems
Increasingly we wish to ask and research questions about the adoption of interorganizational systems and electronic commerce at the industry level but are hampered by the lack of a...
Robert B. Johnston, Shirley Gregor