Sciweavers

5515 search results - page 292 / 1103
» Software architecture: a roadmap
Sort
View
IFIP
1993
Springer
15 years 11 months ago
Plant Engineering: Conceptual Modeling and Modular Design of a Computer Aided Environment
When designing a plant for continuous or semi-continuous processes, such as paper pulp or petrochemical production systems, engineers face very complex tasks, which are only in pa...
Cláudio Walter, José Palazzo M. de O...
ICSE
2007
IEEE-ACM
16 years 7 months ago
On Accurate Automatic Verification of Publish-Subscribe Architectures
The paper presents a novel approach based on Bogor for the accurate verification of applications based on PublishSubscribe infrastructures. Previous efforts adopted standard model...
Luciano Baresi, Carlo Ghezzi, Luca Mottola
IUI
2010
ACM
16 years 4 months ago
Interactive machine translation using a web-based architecture
In this paper we present a new way of translating documents by using a Web-based system. An interactive approach is proposed as an alternative to post-editing the output of a mach...
Daniel Ortiz-Martínez, Luis A. Leiva, Vicen...
CSSE
2008
IEEE
16 years 1 months ago
Designing and Verifying Communication Protocols Using Model Driven Architecture and Spin Model Checker
Abstract: The need of communication protocols in today’s environment increases as much as the network explores. Many new kinds of protocols, e.g. for information sharing, securit...
Prabhu Shankar Kaliappan, Hartmut Koenig, Vishnu K...
COMSWARE
2007
IEEE
16 years 1 months ago
VoIP-based Intra-village Teleconnectivity: An Architecture and Case Study
— Several solutions exist to bridge the last-mile gap in rural telecom. These extend a point of presence from a town to kiosks in surrounding villages. In this paper, we deal wit...
Janak Chandarana, K. Sravana Kumar, Srinath Perur,...