3790 search results - page 87 / 758 » Advances in Mixture Models |
101
Voted
UML
2005
Springer
15 years 6 months ago
2005
Springer
A lot of research and work has been done in the past, to develop XML based user-interface definition languages. Also languages to describe graphics and animations were created. In...
108
Voted
KBSE
1999
IEEE
15 years 5 months ago
1999
IEEE
This paper describes the application of advanced formal modelling techniques and tools from the CADP toolset to the verification of CFS, a distributed file system kernel. After a ...
FMCAD
2006
Springer
15 years 4 months ago
2006
Springer
In this paper we present a complete method for verifying properties expressed in the temporal logic CTL. In contrast to the majority of verification methods presented in recent yea...
112
Voted
SPRINGSIM
2010
14 years 11 months ago
2010
: Creating models and analyzing simulation results can be a difficult and time-consuming task, especially for non-experienced users. Although several DEVS simulators have been deve...
107
Voted
UML
2005
Springer
15 years 6 months ago
2005
Springer
Abstract. This paper reports about the workshop Model Driven Development of Advanced User Interfaces (MDDAUI) which was held on October 2nd, 2005 at the MoDELS/UML 2005 conference ...