Sciweavers

934 search results - page 78 / 187
» Supporting Cross-Organizational Process Control
Sort
View
IAT
2008
IEEE
15 years 10 months ago
An Agent Modeling Language Implementing Protocols through Capabilities
In this paper we present how to use the Agent MOdeling LAnguage (AMOLA) to define agent interaction protocols and how to integrate these in an agent model. AMOLA provides the synt...
Nikolaos I. Spanoudakis, Pavlos Moraitis
ICECCS
2008
IEEE
122views Hardware» more  ICECCS 2008»
15 years 10 months ago
Efficient Embedded Runtime Systems through Port Communication Optimization
Traditionally shared data areas have been used to efficiently communicate between embedded system tasks, such as periodically executing control system tasks. Such implementations ...
Peter H. Feiler
ICSE
2000
IEEE-ACM
15 years 7 months ago
Software configuration management: a roadmap
This paper, in the first chapter summarizes the state of the art in SCM, showing the evolution along the last 25 years. Chapter 2 shows the current issues and current research wor...
Jacky Estublier
MM
2000
ACM
217views Multimedia» more  MM 2000»
15 years 8 months ago
Design and implementation of the parallel multimedia file system based on message distribution
The two-layered distributed clustered server architecture consisting of a control server and a group of storage servers has been widely used to support multimedia file systems. Wi...
Seung-Ho Park, Si-Yong Park, Gwang Moon Kim, Ki-Do...
SPIN
1999
Springer
15 years 8 months ago
Xspin/Project - Integrated Validation Management for Xspin
One of the difficulties of using model checkers “in the large” is the management of all (generated) data during the validation trajectory. It is important that the results obta...
Theo C. Ruys