Sciweavers

1528 search results - page 69 / 306
» Object-Oriented Software Composition
Sort
View
ICSOFT
2008
13 years 9 months ago
Aria Language - Towards Agent Orientation Paradigm
As building large-scale software systems is complex, several software engineering paradigms have been devised. Agent oriented paradigm is one of the most predominant contributions...
Mohsen Lesani, Niloufar Montazeri
APSEC
2006
IEEE
14 years 1 months ago
Security-Oriented Service Composition and Evolution
This paper introduces a framework for security-oriented software service composition and evolution. Key building blocks of the framework are a semantic model for specifying the se...
Jun Han, Khaled M. Khan
FM
2003
Springer
160views Formal Methods» more  FM 2003»
14 years 1 months ago
Translation-Based Compositional Reasoning for Software Systems
Software systems are often model checked by translating them into a directly model-checkable formalism. Any serious software system requires application of compositional reasoning ...
Fei Xie, James C. Browne, Robert P. Kurshan
LAWEB
2007
IEEE
14 years 2 months ago
Designing the Interface of Rich Internet Applications
In this paper we present a novel approach for designing the interface of rich internet applications. Our approach uses ract Data Views (ADV) design model allowing expressing in a ...
Matias Urbieta, Gustavo Rossi, Jeronimo Ginzburg, ...
COOPIS
2003
IEEE
14 years 1 months ago
From Distributed Objects to Hierarchical Grid Components
We propose a parallel and distributed component framework for building Grid applications, adapted to the hierarchical, highly distributed, highly heterogeneous nature of Grids. Thi...
Françoise Baude, Denis Caromel, Matthieu Mo...