2328 search results - page 149 / 466 » Component Frameworks - A Case Study |
124
Voted
LADC
2005
Springer
15 years 10 months ago
2005
Springer
In this paper we present NekoStat, an extension of the Neko tool. Neko is a Java framework and a communication platform that permits rapid prototyping of distributed applications; ...
132
click to vote
HICSS
2003
IEEE
15 years 10 months ago
2003
IEEE
Enterprises need to understand the impact of different types of knowledge management (KM) approaches on business strategy, and how they interact with other types of initiatives to...
129
click to vote
SIGSOFT
2000
ACM
15 years 9 months ago
2000
ACM
Designing architectural frameworks without the aid of formal modeling is error prone. But, unless supported by analysis, formal modeling is prone to its own class of errors, in wh...
161
Voted
ERLANG
2007
ACM
15 years 8 months ago
2007
ACM
This paper presents an Erlang-based framework, developed by the authors, for the realisation of software systems for autonomous mobile robots. On the basis of the analysis of the ...
130
click to vote
APSEC
2008
IEEE
15 years 7 months ago
2008
IEEE
Formal verification of Function Block Diagram (FBD) based software is an essential task when replacing traditional relay-based analog system with PLC-based software in nuclear rea...