Sciweavers

4902 search results - page 374 / 981
» Multi-agent Systems Methodology
Sort
View
MATA
2000
Springer
104views Communications» more  MATA 2000»
15 years 10 months ago
Modeling an OMG-MASIF Compliant Mobile Agent Platform with the RM-ODP Engineering Language
In order to model telecommunications services as mobile agent system, we are defining a methodology based on the RM-ODP standards. Our approach makes the distinction between the se...
Florin Muscutariu, Marie-Pierre Gervais
DAC
1997
ACM
15 years 10 months ago
Formal Verification of a Superscalar Execution Unit
Abstract. Many modern systems are designed as a set of interconnected reactive subsystems. The subsystem verification task is to verify an implementation of the subsystem against t...
Kyle L. Nelson, Alok Jain, Randal E. Bryant
DBSEC
2006
125views Database» more  DBSEC 2006»
15 years 8 months ago
Aspect-Oriented Risk Driven Development of Secure Applications
Abstract. Security breaches seldom occur because of faulty security mechanisms. Often times, security mechanisms are incorrectly incorporated in an application which allows them to...
Geri Georg, Siv Hilde Houmb, Indrakshi Ray
SERP
2004
15 years 8 months ago
COTS-Aware Requirements Engineering and Software Architecting
At the heart of a well-disciplined, systematic methodology that explicitly supports the use of COTS components is a clearly defined process for effectively using components that m...
Lawrence Chung, Kendra Cooper
169
Voted
SERP
2004
15 years 8 months ago
The Architectural Design of FRUIT: A Family of Retargetable User Interface Tools
Forms-based user interfaces are widely used means for human-computer interaction. However, it is difficult to exploit software reuse in forms-based systems because the systems ten...
Yi Liu, H. Conrad Cunningham, Hui Xiong