Sciweavers

5101 search results - page 325 / 1021
» Analyzing medical processes
Sort
View
UML
2005
Springer
16 years 7 days ago
Dynamic Secure Aspect Modeling with UML: From Models to Code
Abstract. Security engineering deals with modeling, analysis, and implementation of complex security mechanisms. The dynamic nature of such mechanisms makes it difficult to anticip...
Jan Jürjens, Siv Hilde Houmb
WEBI
2005
Springer
16 years 7 days ago
Real-Time Learning Behavior Mining for e-Learning
Over the last years, we have witnessed an explosive growth of e-learning. More and more learning contents have been published and shared over the Internet. Therefore, how to progr...
Yen-Hung Kuo, Juei-Nan Chen, Yu-Lin Jeng, Yueh-Min...
GLOBECOM
2009
IEEE
15 years 10 months ago
Stochastic Network Calculus Models under Max-Plus Algebra
A challenging research issue of analyzing networks where packets are served probabilistically, such as multi-access networks and wireless networks, is to characterize the stochasti...
Jing Xie, Yuming Jiang
152
Voted
KONVENS
2000
15 years 10 months ago
Object- to Subject Raising or Lexical Rule - An HPSG Analysis of the German Passive
In this paper I develop a lexical rule based analysis for the passive in German in the paradigm of HPSG. Object-toSubject-Raising approaches will be discussed and it will be expla...
Stefan Müller 0006
AMAST
1995
Springer
15 years 10 months ago
A Calculus of Countable Broadcasting Systems
In this paper we propose a process algebra named CCB (a Calculus of Countable Broadcasting Systems). We define an observational congruence relation in CCB after basic definitions...
Yoshinao Isobe, Yutaka Sato, Kazuhito Ohmaki