5433 search results - page 527 / 1087 » Tool Support for Traceability-Adaptation |
187
Voted
FASE
2007
Springer
16 years 1 months ago
2007
Springer
The Declared Type Generalization Checker is a plug-in for Eclipse’s Java Development Tools (JDT) that supports developers in systematically finding and using better fitting types...
184
click to vote
HICSS
2003
IEEE
16 years 18 days ago
2003
IEEE
In most cases safety stock is determined based on the variability of the demand and lead time. The focus has been on the statistics and past performance, and the existing framewor...
194
click to vote
ICPP
2002
IEEE
16 years 7 days ago
2002
IEEE
The advantages of pattern-based programming have been well-documented in the sequential literature. However patterns have yet to make their way into mainstream parallel computing,...
207
click to vote
ROBOCUP
1999
Springer
15 years 11 months ago
1999
Springer
The underlying research topics and the architecture of the UBU team are briefly described. The aim of developing UBU is to subject a series of tools and procedures for agent decis...
202
Voted
CAV
2010
Springer
15 years 11 months ago
2010
Springer
ions of ODE models (MAPLE, GNA). On the algorithmic side (Sec. 3.2), it supports two main streams in high-performance model checking: reachability analysis based on BDDs (symbolic)...