Sciweavers

1173 search results - page 155 / 235
» On the Compositionality of Round Abstraction
Sort
View
SEMWEB
2007
Springer
14 years 4 months ago
CLOnE: Controlled Language for Ontology Editing
Abstract. This paper presents a controlled language for ontology editing and a software implementation, based partly on standard NLP tools, for processing that language and manipul...
Adam Funk, Valentin Tablan, Kalina Bontcheva, Hami...
LAWEB
2006
IEEE
14 years 4 months ago
Policy Support for Business-oriented Web Service Management
Policies have been adopted for many reasons within web services and Service-oriented Architecture in general. However, while they are a favoured method of management, this only oc...
Stephen Gorton, Stephan Reiff-Marganiec
EVOW
2005
Springer
14 years 3 months ago
Toward User-Directed Evolution of Sound Synthesis Parameters
Abstract. Experiments are described which use genetic algorithms operating on the parameter settings of an FM synthesizer, with the aim of mimicking known synthesized sounds. The w...
James McDermott, Niall J. L. Griffith, Michael O'N...
EWSA
2005
Springer
14 years 3 months ago
The Decision View of Software Architecture
Abstract. Documenting software architectures is a key aspect to achieve success when communicating the architecture to different stakeholders. Several architectural views have been...
Juan C. Dueñas, Rafael Capilla
FM
2005
Springer
112views Formal Methods» more  FM 2005»
14 years 3 months ago
Dynamic Component Substitutability Analysis
This paper presents an automated and compositional procedure to solve the substitutability problem in the context of evolving software systems. Our solution contributes two techniq...
Natasha Sharygina, Sagar Chaki, Edmund M. Clarke, ...