Sciweavers

5683 search results - page 723 / 1137
» Interactive Schedulability Analysis
Sort
View
GRID
2008
Springer
15 years 8 months ago
User- and job-centric monitoring: Analysing and presenting large amounts of monitoring data
For data analysis or simulations (e.g. in particle physics) single users submit hundreds or thousands of jobs to the Grid. This puts a new burden on the users side - keeping an ov...
Henrik Eichenhardt, Ralph Müller-Pfefferkorn,...
GG
2010
Springer
15 years 7 months ago
Verification of Graph Transformation Systems with Context-Free Specifications
We introduce an analysis method for graph transformation systems which checks that certain forbidden graphs are not reachable from the start graph. These forbidden graphs are speci...
Barbara König, Javier Esparza
AAMAS
2004
Springer
15 years 6 months ago
Tropos: An Agent-Oriented Software Development Methodology
Our goal in this paper is to introduce and motivate a methodology, called Tropos,1 for building agent oriented software systems. Tropos is based on two key ideas. First, the notion...
Paolo Bresciani, Anna Perini, Paolo Giorgini, Faus...
DATAMINE
2000
113views more  DATAMINE 2000»
15 years 6 months ago
Informix under CONTROL: Online Query Processing
The goal of the CONTROL project at Berkeley is to develop systems for interactive analysis of large data sets. We focus on systems that provide users with iteratively refining answ...
Joseph M. Hellerstein, Ron Avnur, Vijayshankar Ram...
154
Voted
RAS
2010
137views more  RAS 2010»
15 years 5 months ago
Development of complex robotic systems using the behavior-based control architecture iB2C
This paper presents a development methodology for complex robotic systems using the behavior-based control architecture iB2C (integrated Behavior-Based Control). It is shown how a...
Martin Proetzsch, Tobias Luksch, Karsten Berns