Sciweavers

3555 search results - page 420 / 711
» Security-Critical System Development with Extended Use Cases
Sort
View
SAMOS
2010
Springer
15 years 5 months ago
Cycle-accurate performance modelling in an ultra-fast just-in-time dynamic binary translation instruction set simulator
—Instruction set simulators (ISS) are vital tools for compiler and processor architecture design space exploration and verification. State-of-the-art simulators using just-in-ti...
Igor Böhm, Björn Franke, Nigel P. Topham
FMCO
2009
Springer
134views Formal Methods» more  FMCO 2009»
15 years 4 months ago
Verification of Context-Dependent Channel-Based Service Models
Abstract. The paradigms of service-oriented computing and modeldriven development are becoming of increasing importance in the field of software engineering. According to these par...
Natallia Kokash, Christian Krause, Erik P. de Vink
ITSE
2010
115views more  ITSE 2010»
15 years 1 months ago
Social navigation in web lectures: a study of virtPresenter
Social Navigation is an emerging approach to enhance online learning content. With social navigation, users can be guided through large volumes of learning material by visual cues...
Robert Mertens, Markus Ketterl, Peter Brusilovsky
HOTOS
2007
IEEE
15 years 10 months ago
HotComments: How to Make Program Comments More Useful?
Program comments have long been used as a common practice for improving inter-programmer communication and code readability, by explicitly specifying programmers' intentions ...
Lin Tan, Ding Yuan, Yuanyuan Zhou
ECIS
2000
15 years 8 months ago
Functional Integration Test of Mass Processes with Electronic Signatures in Public Administration
Nowadays, almost all public administration plan to establish processes with electronic signatures. For such processes, there are no standardized system models with test cases. We a...
B. Lapken, Frank Losemann, Thomas Engel, Christoph...