Sciweavers

1663 search results - page 238 / 333
» Software Reuse and Safety
Sort
View
JSW
2008
105views more  JSW 2008»
13 years 9 months ago
Formal Models for Architecture Aspects and Their Weaving
Aspect-oriented concepts are currently introduced in early stages of software development to achieve better separation of concerns. However, at the architecture level, there exists...
Chunhua Yang, Haiyang Wang
ENTCS
2007
86views more  ENTCS 2007»
13 years 9 months ago
Tool Support for Proof Engineering
Modern integrated development environments (IDEs) provide programmers with a variety of sophisticated tools for program visualization and manipulation. These tools assist the prog...
Anne Mulhern, Charles Fischer, Ben Liblit
CGF
2000
138views more  CGF 2000»
13 years 8 months ago
Real Time, Accurate, Multi-Featured Rendering of Bump Mapped Surfaces
We present a new technique to render in real time objects which have part of their high frequency geometric detail encoded in bump maps. It is based on the quantization of normal-...
Marco Tarini, Paolo Cignoni, Claudio Rocchini, Rob...
JSA
2002
125views more  JSA 2002»
13 years 8 months ago
Building a dependable system from a legacy application with CORBA
This paper presents a dependability oriented, fault tolerance based system design, development, and deployment approach. The approach relies on an architectural framework, which a...
Domenico Cotroneo, Nicola Mazzocca, Luigi Romano, ...
JSS
2010
111views more  JSS 2010»
13 years 7 months ago
Promoting the development of secure mobile agent applications
In this paper we present a software architecture and a development environment for the implementation of applications based on secure mobile agents. Recent breakthroughs in mobile...
Carles Garrigues, Sergi Robles, Joan Borrell, Guil...