Sciweavers

2255 search results - page 172 / 451
» High Assurance Software Systems
Sort
View
ICTAC
2005
Springer
15 years 12 months ago
Finding Resource Bounds in the Presence of Explicit Deallocation
Abstract. A software program requesting a resource that is not available usually raises an out-of-resource exception. Component software is software that has been assembled from st...
Hoang Truong, Marc Bezem
GPCE
2007
Springer
16 years 17 days ago
Simple and safe SQL queries with c++ templates
Most software applications use a relational database for data management and storage. Interaction with such a database is often done by letting the program construct strings with ...
Joseph Gil, Keren Lenz
WSC
1998
15 years 7 months ago
Component-based Simulation Environments: JSIM as a Case Study Using Java Beans
Component-based software can be used to develop highly modular simulation environments supporting high reusability of software components. This paper examines a case study in whic...
John A. Miller, Youngfu Ge, Junxin Tao
TASE
2007
IEEE
16 years 21 days ago
Automating Language Evolution
The design and implementation of complex software systems ly spans multiple levels of abstractions. The concepts of el of abstractions and their interplay are represented by forma...
Markus Pizka, Elmar Jürgens
SQJ
2008
116views more  SQJ 2008»
15 years 6 months ago
E-commerce system quality assessment using a model based on ISO 9126 and Belief Networks
: As business transitions into the new economy, e-system successful use has become a strategic goal. Especially in business to consumer (e-commerce) applications, users highly eval...
Antonia Stefani, Michalis Nik Xenos