Sciweavers

3605 search results - page 127 / 721
» Analysis and Applications of the XDI model
Sort
View
RE
2010
Springer
14 years 7 months ago
From Requirements Documents to System Models: A Tool for Interactive Semi-Automatic Translation
Natural language is the main presentation means in industrial requirements documents. This leads to the fact that requirements documents are often incomplete and inconsistent. Desp...
Leonid Kof
DATE
2002
IEEE
141views Hardware» more  DATE 2002»
15 years 5 months ago
A Data Analysis Method for Software Performance Prediction
This paper explores the role of data analysis methods to support system-level designers in characterising the performance of embedded applications. In particular, we address the p...
Gianluca Bontempi, Wido Kruijtzer
97
Voted
WSC
2000
15 years 2 months ago
Simulation based operational analysis of future space transportation systems
This paper presents an approach to the operational analysis of future space transportation systems. The approach combines knowledge from government and industry space operation an...
Alex J. Ruiz-Torres, Edgar Zapata
ARESEC
2011
95views more  ARESEC 2011»
14 years 23 days ago
Bulletin Boards in Voting Systems: Modelling and Measuring Privacy
—Transparency is crucial to ensuring fair, honest elections. Transparency is achieved by making information (e.g. election result) public. In e-voting literature, this publicatio...
Hugo Jonker, Jun Pang
ECRTS
2005
IEEE
15 years 6 months ago
Fast and Tight Response-Times for Tasks with Offsets
In previous work, we presented a tight approximate response-time analysis for tasks with offsets. While providing a tight bound on response times, the tight analysis exhibits simi...
Jukka Mäki-Turja, Mikael Nolin