Sciweavers

1230 search results - page 80 / 246
» On Abstraction in Scenarios
Sort
View
SEUS
2009
IEEE
14 years 4 months ago
Fine-Grained Tailoring of Component Behaviour for Embedded Systems
Abstract. The application of run-time reconfigurable component models to networked embedded systems has a number of significant advantages such as encouraging software reuse, ada...
Nelson Matthys, Danny Hughes, Sam Michiels, Christ...
TASE
2009
IEEE
14 years 4 months ago
Verifying Self-stabilizing Population Protocols with Coq
Population protocols are an elegant model recently introduced for distributed algorithms running in large and unreliable networks of tiny mobile agents. Correctness proofs of such...
Yuxin Deng, Jean-François Monin
WETICE
2009
IEEE
14 years 4 months ago
Maintaining Unlinkability in Group Based P2P Environments
Abstract—In the wake of the success of peer-to-peer networking, privacy has arisen as a big concern. Even though steps have been taken in order to attain an anonymous communicati...
Joan Arnedo-Moreno, Jordi Herrera-Joancomart&iacut...
AIED
2009
Springer
14 years 4 months ago
Identifying strategies in user's exploratory learning behaviour for mathematical generalisation
Abstract. The nature of the activities that take place in Exploratory Learning Environments allow generating a variety of learner trajectories and makes difficult to develop a mod...
Mihaela Cocea, George D. Magoulas
BPM
2009
Springer
140views Business» more  BPM 2009»
14 years 4 months ago
Mobile Workforce Scheduling Problem with Multitask-Processes
Abstract. In this work we introduce a new generalization of the ResourceConstrained Project Scheduling Problem – the Mobile Workforce Scheduling Problem with Multitask-Processes ...
Asvin Goel, Volker Gruhn, Thomas Richter