Sciweavers

7580 search results - page 1349 / 1516
» Prometheus design tool
Sort
View
145
Voted
ESA
2010
Springer
162views Algorithms» more  ESA 2010»
15 years 5 months ago
Solving an Avionics Real-Time Scheduling Problem by Advanced IP-Methods
We report on the solution of a real-time scheduling problem that arises in the design of software-based operation control of aircraft. A set of tasks has to be distributed on a min...
Friedrich Eisenbrand, Karthikeyan Kesavan, Raju S....
IAT
2008
IEEE
15 years 5 months ago
nAble Adaptive Scaffolding Agent - Intelligent Support for Novices
Scaffolding techniques allow human instructors to support novice learners in critical early stages, and to remove that support as expertise grows. This paper describes nAble, an a...
Joseph MacInnes, Stephanie Santosa, Nathan Kronenf...
130
Voted
AAMAS
2008
Springer
15 years 5 months ago
Autonomic communication services: a new challenge for software agents
The continuous growth in ubiquitous and mobile network connectivity, together with the increasing number of networked devices populating our everyday environments, call for a deep ...
Raffaele Quitadamo, Franco Zambonelli
153
Voted
ASE
2008
120views more  ASE 2008»
15 years 5 months ago
Requirements model generation to support requirements elicitation: the Secure Tropos experience
In the last years several efforts have been devoted by researchers in the Requirements Engineering community to the development of methodologies for supporting designers during req...
Nadzeya Kiyavitskaya, Nicola Zannone
149
Voted
BMCBI
2010
109views more  BMCBI 2010»
15 years 5 months ago
FPGA acceleration of the phylogenetic likelihood function for Bayesian MCMC inference methods
Background: Likelihood (ML)-based phylogenetic inference has become a popular method for estimating the evolutionary relationships among species based on genomic sequence data. Th...
Stephanie Zierke, Jason D. Bakos
« Prev « First page 1349 / 1516 Last » Next »