Sciweavers

2255 search results - page 186 / 451
» High Assurance Software Systems
Sort
View
JUCS
2010
159views more  JUCS 2010»
15 years 1 months ago
Developing a Secure Mobile Grid System through a UML Extension
: The idea of developing software through systematic development processes to improve software quality is not new. Nevertheless, there are still many information systems such as th...
David G. Rosado, Eduardo Fernández-Medina, ...
EMSOFT
2007
Springer
16 years 19 days ago
Buffer optimization and dispatching scheme for embedded systems with behavioral transparency
Software components are modular and can enable post-deployment update, but their high overhead in runtime and memory is prohibitive for many embedded systems. This paper proposes ...
Jiwon Hahn, Pai H. Chou
APSEC
2006
IEEE
16 years 16 days ago
Secrobat: Secure and Robust Component-based Architectures
Software systems, component-based systems (CBS) in particular, have a lot of vulnerabilities that may be exploited by intruders. Companies spend much time and money to “patch”...
Artem Vorobiev, Jun Han
HPCN
1999
Springer
15 years 10 months ago
WebFlow: A Framework for Web Based Metacomputing
We developed a platform independent, three-tier system, called WebFlow. The visual authoring tools implemented in the front end integrated with the middle tier network of servers ...
Tomasz Haupt, Erol Akarsu, Geoffrey Fox
DEXA
1998
Springer
98views Database» more  DEXA 1998»
15 years 10 months ago
Browsing SGML Documents with Maps: The French "Inventaire" Experience
For GIS, SGML document servers and other highly specialized application domains, the systems integration problem is essential since the available software often is complex and wou...
Bernd Amann, Dan Vodislav, Julio Fernandes, George...