21379 search results - page 547 / 4276 » The profession of IT - Evolutionary system development |
179
click to vote
ICALT
2007
IEEE
16 years 1 months ago
2007
IEEE
The increase of e-learning led to the development of Adaptive Educational Hypermedia Systems (AEHS). The last few years a new research stream was revealed which combines the funct...
165
click to vote
ICALT
2005
IEEE
16 years 25 days ago
2005
IEEE
Recent developments in E-Learning systems aim at providing a better support for didactics-aware learning scenarios. Typically, in order to provide that support the number and comp...
206
click to vote
FM
2008
Springer
15 years 8 months ago
2008
Springer
In this article we would like to present some recent applications of the B formal method to the development of safety critical system. These SIL3/SIL41 compliant systems have their...
179
click to vote
DEDS
2008
15 years 7 months ago
2008
Abstract Approximate simulation relations have recently been introduced as a powerful tool for the approximation of discrete and continuous systems. In this paper, we his abstracti...
181
click to vote
ORL
2007
15 years 6 months ago
2007
Polling systems with large deterministic setup times find many applications in production environments. The present note studies the delay distribution in exhaustive polling syst...