Sciweavers

1368 search results - page 165 / 274
» Understanding Software Systems Using Reverse Engineering Tec...
Sort
View
AOSE
2007
Springer
15 years 11 months ago
The Prometheus Design Tool - A Conference Management System Case Study
This paper describes how the Prometheus Design Tool (PDT) is used to support the Prometheus methodology for designing agent systems. This is done by using an exemplar system that h...
Lin Padgham, John Thangarajah, Michael Winikoff
NTMS
2008
IEEE
15 years 11 months ago
Offline Approach to Modeling and Optimization of Flows in Peer-to-Peer Systems
—Peer-to-Peer (P2P) systems gain much attention in recent years. According to many statistics, P2P systems contribute a significant portion of the Internet traffic. Individual In...
Krzysztof Walkowiak
122
Voted
APSEC
2000
IEEE
15 years 9 months ago
Fuzzy concepts and formal methods: some illustrative examples
It has been recognised that formal methods are useful as a modelling tool in requirements engineering. Specification languages such as Z permit the precise and unambiguous modell...
Chris Matthews, Paul A. Swatman
WWW
2006
ACM
16 years 5 months ago
Capturing the essentials of federated systems
Today, the Web is increasingly used as a platform for distributed services, which transcend organizational boundaries to form federated applications. Consequently, there is a grow...
Alexander Brändle, Frederic Majer, Johannes M...
150
Voted
CAISE
2005
Springer
15 years 10 months ago
An MDD annotation methodology for Semantic Enhanced Service Oriented Architectures
Service Oriented Architectures are increasingly being used to achieve interoperability among heterogeneous systems. SOAs help developers to integrate different architectures in ord...
Lorenzo Pondrelli