Sciweavers

1564 search results - page 207 / 313
» Tool Support for Architectural Decisions
Sort
View
SOSP
2003
ACM
16 years 3 months ago
User-level internet path diagnosis
Diagnosing faults in the Internet is arduous and time-consuming, in part because the network is composed of diverse components spread across many administrative domains. We consid...
Ratul Mahajan, Neil T. Spring, David Wetherall, Th...
ECLIPSE
2006
ACM
16 years 17 days ago
A focused learning environment for Eclipse
The support available in Eclipse to help software developers learn complex APIs and development tools is inadequate; the support is largely passive and the support typically opera...
Izzet Safer, Gail C. Murphy, Julie Waterhouse, Jin...
SFM
2005
Springer
243views Formal Methods» more  SFM 2005»
16 years 2 days ago
Hermes: Agent-Based Middleware for Mobile Computing
Hermes is a middleware system for design and execution of activity-based applications in distributed environments. It supports mobile computation as an application implementation s...
Flavio Corradini, Emanuela Merelli
LREC
2010
135views Education» more  LREC 2010»
15 years 8 months ago
Multilingual Voice Creation Toolkit for the MARY TTS Platform
This paper describes an open source voice creation toolkit that supports the creation of unit selection and HMM-based voices, for the MARY (Modular Architecture for Research on sp...
Sathish Pammi, Marcela Charfuelan, Marc Schrö...
QEST
2007
IEEE
16 years 26 days ago
GRIP: Generic Representatives in PRISM
We give an overview of GRIP, a symmetry reduction tool for the probabilistic model checker PRISM, together with experimental results for a selection of example specifications. 1 ...
Alastair F. Donaldson, Alice Miller, David Parker