Search Sciweavers | Sciweavers

8083 search results - page 198 / 1617

» A Formalization of Software Architecture

176

click to vote

CODES
2006
IEEE

135views Software Engineering» more CODES 2006»

Architectural support for safe software execution on embedded processors

15 years 8 months ago

Download www.cs.york.ac.uk

The lack of memory safety in many popular programming languages, including C and C++, has been a cause for great concern in the realm of software reliability, verification, and mo...

Divya Arora, Anand Raghunathan, Srivaths Ravi, Nir...

claim paper

Read More »

184

click to vote

ICSOC
2005
Springer

107views Applied Computing» more ICSOC 2005»

A Lightweight Formal Framework for Service-Oriented Applications Design

16 years 5 hour ago

Download www.science.unitn.it

Leveraging service oriented programming paradigm would signiﬁcantly aﬀect the way people build software systems. This paper contributes to the above goal proposing a lightweigh...

Aliaksei Yanchuk, Alexander Ivanyukovich, Maurizio...

claim paper

Read More »

190

click to vote

JPDC
2006

141views more JPDC 2006»

M-TREE: A high efficiency security architecture for protecting integrity and privacy of software

15 years 6 months ago

Download arch.ece.gatech.edu

Secure processor architectures enable new sets of applications such as commercial grid computing, software copy protection and secure mobile agents by providing secure computing e...

Chenghuai Lu, Tao Zhang, Weidong Shi, Hsien-Hsin S...

claim paper

Read More »

139

click to vote

SEW
2005
IEEE

93views Software Engineering» more SEW 2005»

Architecture On Demand for Any Domain Using Stable Software Patterns

16 years 2 days ago

Download sugarloafplop2004.ufc.br

Mohamed E. Fayad

claim paper