Sciweavers

7209 search results - page 687 / 1442
» Software Engineering for Multi-Agent Systems
Sort
View
FASE
2009
Springer
16 years 1 months ago
Controller Synthesis from LSC Requirements
Live Sequence Charts (LSCs) is a visual requirements language for specifying reactive system behavior. When modeling and designing open reactive systems, it is often essential to h...
Hillel Kugler, Cory Plock, Amir Pnueli
198
Voted
ICSM
2009
IEEE
16 years 1 months ago
Automated performance analysis of load tests
The goal of a load test is to uncover functional and performance problems of a system under load. Performance problems refer to the situations where a system suffers from unexpect...
Zhen Ming Jiang, Ahmed E. Hassan, Gilbert Hamann, ...
KBSE
2008
IEEE
16 years 1 months ago
A Framework for Dynamic Service Discovery
- Service discovery has been recognised as an important activity for service-based systems. In this paper we describe a framework for dynamic service discovery that supports the id...
Andrea Zisman, George Spanoudakis, James Dooley
143
Voted
ICSE
2007
IEEE-ACM
16 years 26 days ago
Migration of Legacy Assets to Service-Oriented Architecture Environments
This tutorial addresses the problem of the migration of legacy assets to Service-Oriented Architecture (SOA) environments. It addresses how to develop a realistic strategy for per...
Dennis B. Smith
RE
2007
Springer
16 years 25 days ago
Secure and Dependable Patterns in Organizations: An Empirical Approach
Designing a secure and dependable system is not just a technical issue, it involves also a deep analysis of the organizational and the social environment in which the system will ...
Yudistira Asnar, Paolo Giorgini, Roberto Bonato, V...