Pattern-oriented software architecture: a system of patterns
Pattern-oriented software architecture: a system of patterns
Science of Computer Programming
Describing Software Architectures by System Structure and Properties
COMPSAC '98 Proceedings of the 22nd International Computer Software and Applications Conference
Specification-based Testing of Concurrent Systems
FORTE X / PSTV XVII '97 Proceedings of the IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE X) and Protocol Specification, Testing and Verification (PSTV XVII)
An agent-based architecture for distributed interfaces and timed media in a storytelling application
AAMAS '03 Proceedings of the second international joint conference on Autonomous agents and multiagent systems
UML in action: integrating formal methods in industrial design education
Edutainment'07 Proceedings of the 2nd international conference on Technologies for e-learning and digital entertainment
Synchronizable objects in distributed multimedia applications
Transactions on edutainment IV
Tangible interfaces to digital connections, centralized versus decentralized
Transactions on edutainment V
A distributed multi-agent architecture in simulation based medical training
Transactions on Edutainment III
GPC'11 Proceedings of the 6th international conference on Grid and Pervasive Computing
Hi-index | 0.00 |
Whereas formal specification and verification have shown value by improving reliability and trustworthiness of traditional industrial systems, we made a contribution by applying them to the field of distributed multimedia presentations in an Ambient Intelligence context. We investigate a mapping problem in which media needs are to be satisfied using given presentation resources. The goal of the investigation is to see whether Broyýs stream-based component framework can be used to model media-related interfaces and constraints in an elegant way. The formalization will serve as a framework for the development of an automated mapper that can handle real media needs and real presentation resources. It combines the well-known notations of Z with an underlying concurrency theory. We show that not only verification issues can be handled such as bandwidth and delay constraints, but also architecture-level issues such as network structural media-type compatibilities.