Sciweavers

4360 search results - page 504 / 872
» Socio-technical systems: From design methods to systems engi...
Sort
View
SFM
2009
Springer
150views Formal Methods» more  SFM 2009»
16 years 1 months ago
Contract-Based Discovery and Composition of Web Services
In the context of Service Oriented Computing behavioural contracts are descriptions of the observable message-passing behaviour of services. In other terms, contracts are behaviour...
Mario Bravetti, Gianluigi Zavattaro
CODES
2006
IEEE
16 years 28 days ago
Heterogeneous multiprocessor implementations for JPEG: : a case study
Heteregenous multiprocessor SoCs are becoming a reality, largely due to the abundance of transistors, intellectual property cores and powerful design tools. In this project, we ex...
Seng Lin Shee, Andrea Erdos, Sri Parameswaran
WICSA
2008
15 years 8 months ago
A Modifiable Agent-Based Software Architecture for Intelligent Virtual Environments for Training
During the last years, Intelligent Virtual Environments for Training have become a quite popular application of computer science to education. However, little attention is being p...
Gonzalo Méndez, Angélica de Antonio
SERP
2004
15 years 8 months ago
Keeping Secrets within a Family: Rediscovering Parnas
David Parnas wrote several papers in the 1970's and 1980's that are now considered classics. The concepts he advocated such as information hiding and bstract interfaces ...
H. Conrad Cunningham, Cuihua Zhang, Yi Liu
EFDBS
2001
15 years 8 months ago
Evolving Hybrid Distributed Databases: Architecture and Methodology
Abstract. This paper focuses on the interoperability of autonomous legacy databases with the idea of meeting the future requirements of an organization. It describes a general arch...
Philippe Thiran, Jean-Luc Hainaut