Sciweavers

8099 search results - page 555 / 1620
» Higher-Order Task Models
Sort
View
ICECCS
2009
IEEE
161views Hardware» more  ICECCS 2009»
16 years 1 months ago
Formal Modelling and Analysis of Business Information Applications with Fault Tolerant Middleware
Distributed information systems are critical to the functioning of many businesses; designing them to be dependable is a challenging but important task. We report our experience i...
Jeremy Bryans, John S. Fitzgerald, Alexander Roman...
CIKM
2009
Springer
16 years 1 months ago
Cross-language linking of news stories on the web using interlingual topic modelling
We have studied the problem of linking event information across different languages without the use of translation systems or dictionaries. The linking is based on interlingua in...
Wim De Smet, Marie-Francine Moens
CEC
2008
IEEE
16 years 1 months ago
Parallel multi-objective optimization using Master-Slave model on heterogeneous resources
Abstract— In this paper, we study parallelization of multiobjective optimization algorithms on a set of hetergeneous resources based on the Master-Slave model. Master-Slave model...
Sanaz Mostaghim, Jürgen Branke, Andrew Lewis,...
187
Voted
ICAS
2008
IEEE
227views Robotics» more  ICAS 2008»
16 years 1 months ago
The 4C Reference Model for Distributed User Interfaces
Distributed User Interfaces (DUIs) are those interfaces whose different parts can be distributed in time and space on different monitors, screens, and computing platforms, dependi...
Alexandre Demeure, Jean-Sebastien Sottet, Gaë...
DATE
2007
IEEE
112views Hardware» more  DATE 2007»
16 years 1 months ago
Tool-support for the analysis of hybrid systems and models
This paper introduces a method and tool-support for the automatic analysis and verification of hybrid and embedded control systems, whose continuous dynamics are often modelled u...
Andreas Bauer 0002, Markus Pister, Michael Tautsch...