3868 search results - page 54 / 774 » Open Systems in TLA |
90
Voted
ECTEL
2010
Springer
15 years 10 days ago
2010
Springer
Abstract. Educational systems that model the user enable personalisation. Systems that open the model to the user to prompt reflection are increasingly common. These often offer a ...
113
click to vote
METAINFORMATICS
2004
Springer
15 years 7 months ago
2004
Springer
This paper is focusing on some interesting issues about service publicity and usability while trying to move from the classic Open Hypermedia Systems (OHSs) to structural aware env...
152
click to vote
CORR
2011
Springer
14 years 5 months ago
2011
Springer
The problem of business-IT alignment is of widespread economic concern. As one way of addressing the problem, this paper describes an online system that functions as a kind of Wik...
143
Voted
SDL
2007
15 years 3 months ago
2007
Abstract. OpenComRTOS is one of the few Real-Time Operating Systems (RTOS) for embedded systems that was developed using formal modeling techniques. The goal was to obtain a proven...
HICSS
2007
IEEE
15 years 8 months ago
2007
IEEE
