关注
Bernd J. Krämer
Bernd J. Krämer
President, ServTech
在 servtech.info 的电子邮件经过验证 - 首页
标题
引用次数
引用次数
年份
Leveraging web-services and peer-to-peer networks
MP Papazoglou, BJ Krämer, J Yang
Advanced Information Systems Engineering: 15th International Conference …, 2003
1702003
Applied cyber-physical systems
SC Suh, UJ Tanik, JN Carbone, A Eroglu
Springer New York, 2014
1282014
Policy definition language for automated management of distributed systems
T Koch, C Krell, B Kramer
Proceedings of IEEE International Workshop on System Management, 55-64, 1996
971996
A database model for object dynamics
MP Papazoglou, BJ Kraemer
The VLDB Journal 6, 73-96, 1997
561997
Automated verification of function block-based industrial control systems
N Völker, BJ Krämer
Science of Computer Programming 42 (1), 101-113, 2002
542002
Compositional semantics of a real-time prototyping language
B Kramer, V Berzins
IEEE Transactions on Software Engineering 19 (5), 453-477, 1993
511993
Design for customization: a new paradigm for product-service system development
A Elgammal, M Papazoglou, B Krämer, C Constantinescu
Procedia Cirp 64, 345-350, 2017
492017
Forming a federated virtual university through course broker middleware
BJ Krämer
Proceedings: LearnTec, 2000
482000
Collaborative on-demand Product-Service Systems customization lifecycle
MP Papazoglou, A Elgammal, BJ Krämer
CIRP Journal of Manufacturing Science and Technology 29, 205-219, 2020
442020
Languages for the Specification of Software
D Cooke, A Gates, E Demirörs, O Demirörs, MM Tanik, B Krämer
Journal of Systems and Software 32 (3), 269-308, 1996
411996
From content to practice: Sharing educational practice in edu‐sharing
M Klebl, BJ Krämer, A Zobel
British Journal of Educational Technology 41 (6), 936-951, 2010
402010
Predictable component architectures using dependent finite state machines
HW Schmidt, BJ Krämer, I Poernomo, R Reussner
Radical Innovations of Software and Systems Engineering in the Future: 9th …, 2004
402004
Achieving high integrity of process control software by graphical design and formal verification
WA Halang, B Krämer
Software Engineering Journal 7 (1), 53-64, 1992
401992
New ways of learning: Comparing the effectiveness of interactive online media in distance education with the E uropean textbook tradition
BJ Krämer, J Neugebauer, J Magenheim, H Huppertz
British Journal of Educational Technology 46 (5), 965-971, 2015
392015
Exposure and support of latent social networks among learning object repository users.
P Han, G Kortemeyer, BJ Krämer, C von Prümmer
J. Univers. Comput. Sci. 14 (10), 1717-1738, 2008
392008
Components and tools for on-line education
BJ Krämer, HW Schmidt
European Journal of Education, 195-222, 2001
382001
SEGRAS—a formal and semigraphical language combining Petri nets and abstract data types for the specification of distributed systems
B Krämer
Proceedings of the 9th international conference on Software Engineering, 116-125, 1987
371987
On a rule based management architecture
T Koch, B Kramer, G Rohde
Second International Workshop on Services in Distributed and Networked …, 1995
361995
Generating interactive learning objects from configurable samples
P Han, BJ Krämer
2009 international conference on Mobile, hybrid, and on-line learning, 1-6, 2009
322009
Cooperative learning in self-organizing e-learner communities based on a multi-agents mechanism
F Yang, P Han, R Shen, BJ Kraemer, X Fan
AI 2003: Advances in Artificial Intelligence: 16th Australian Conference on …, 2003
312003
系统目前无法执行此操作,请稍后再试。
文章 1–20