Sciweavers

3103 search results - page 266 / 621
» Locating Features in Distributed Systems
Sort
View
COOPIS
2004
IEEE
15 years 8 months ago
Checking Asynchronously Communicating Components Using Symbolic Transition Systems
Abstract. Explicit behavioural interface description languages (BIDLs, protocols) are now recognized as a mandatory feature of component languages in order to address component reu...
Olivier Maréchal, Pascal Poizat, Jean-Claud...
ENTCS
2008
131views more  ENTCS 2008»
15 years 4 months ago
Connector Rewriting with High-Level Replacement Systems
Reo is a language for coordinating autonomous components in distributed environments. Coordination in Reo is performed by circuit-like connectors, which are constructed from primi...
Christian Koehler, Alexander Lazovik, Farhad Arbab
ISORC
2007
IEEE
15 years 10 months ago
Device Modeling for a Flexible Embedded Systems Development Process
Methodologies, techniques and tools that currently support the embedded systems (ESs) development process prove inadequate for today’s complex ESs. Adopted traditional architect...
Kleanthis C. Thamboulidis, George S. Doukas, Giann...
AIED
2005
Springer
15 years 9 months ago
On the Prospects of Intelligent Collaborative E-learning Systems
Collaborative learning is question-driven and open-ended by nature. Many of the techniques developed for intelligent tutoring are applicable only in more structured settings, but f...
Miikka Miettinen, Jaakko Kurhila, Henry Tirri
EUROPAR
2004
Springer
15 years 9 months ago
Experimental Study of Multi-criteria Scheduling Heuristics for GridRPC Systems
Abstract. We study in this paper several scheduling heuristics for GridRPC middlewares. When dealing with performance issue, the scheduling strategy is one of the most important fe...
Yves Caniou, Emmanuel Jeannot