9018 search results - page 284 / 1804 » 3D-Brain Model Software |
169
Voted
ECEASST
2006
15 years 4 months ago
2006
We present an mda framework, developed in the functional programming language sml, that tries to bridge the gap between formal software development and the needs of industrial soft...
114
click to vote
KBSE
2009
IEEE
15 years 11 months ago
2009
IEEE
—Web applications are increasingly becoming the most important platform for software applications in industry, with many modelling languages proposed to handle the complexity of ...
113
click to vote
FASE
2010
Springer
15 years 8 months ago
2010
Springer
Abstract. In this paper, we present an automata-theoretic approach to Hardware/Software (HW/SW) co-verification. We designed a co-specification framework describing HW/SW systems; ...
123
click to vote
SAINT
2005
IEEE
15 years 10 months ago
2005
IEEE
The paper focuses on software distribution over the Internet, points to weaknesses of the current practice and argues for removing the weaknesses by introducing a ubiquitous distr...
146
click to vote
TMRA
2005
Springer
15 years 10 months ago
2005
Springer
This work-in-progress report subsumes our ongoing research to develop a Topic Maps centric, modularised system which supports collaborative software development by combining the me...