Sciweavers

3119 search results - page 375 / 624
» Abstract Requirement Analysis in Multiagent System Design
Sort
View
JUCS
2010
135views more  JUCS 2010»
15 years 29 days ago
Model-driven Transformation and Validation of Adaptive Educational Hypermedia using CAVIAr
Abstract: Authoring of Adaptive Educational Hypermedia is a complex activity requiring the combination of a range of design and validation techniques. We demonstrate how Adaptive E...
Mark Melia, Claus Pahl
DATE
2011
IEEE
235views Hardware» more  DATE 2011»
14 years 10 months ago
An Overview of Approaches Towards the Timing Analysability of Parallel Architecture
In order to meet performance/low energy/integration requirements, parallel architectures (multithreaded cores and multi-cores) are more and more considered in the design of embedd...
Christine Rochange
USENIX
2000
15 years 7 months ago
The Globe Distribution Network
The goal of the Globe project is to design and build a middleware platform that facilitates the development of large-scale distributed applications, such as those found on the Int...
Arno Bakker, E. Amade, Gerco Ballintijn, Ihor Kuz,...
AUTOMATICA
2002
126views more  AUTOMATICA 2002»
15 years 6 months ago
Halo orbit mission correction maneuvers using optimal control
This paper addresses the computation of the required trajectory correction maneuvers (TCM) for a halo orbit space mission to compensate for the launch velocity errors introduced b...
Radu Serban, Wang Sang Koon, Martin W. Lo, Jerrold...
DNIS
2010
Springer
269views Database» more  DNIS 2010»
15 years 9 months ago
Data Management Challenges in Cloud Computing Infrastructures
Abstract. The challenge of building consistent, available, and scalable data management systems capable of serving petabytes of data for millions of users has confronted the data m...
Divyakant Agrawal, Amr El Abbadi, Shyam Antony, Su...