Sciweavers

800 search results - page 52 / 160
» Towards a formalization of budgets
Sort
View
EUROMICRO
2009
IEEE
15 years 5 months ago
Dynamic Software Architecture Development: Towards an Automated Process
—We propose a software engineering process to aid the development of Dynamic Software Architectures (DSAs). This process is based on the sequential application of a number of for...
Maurice H. ter Beek, Antonio Bucchiarone, Stefania...
WISE
2008
Springer
15 years 5 months ago
Towards an Ontology-Based Approach for Dealing with Web Guidelines
This paper presents an Ontology-based approach for dealing with guidelines concerning the usability and the accessibility of Web applications. We report an ontology which provides ...
Joseph Xiong, Christelle Farenc, Marco Winckler
IFL
2007
Springer
221views Formal Methods» more  IFL 2007»
15 years 5 months ago
From Contracts Towards Dependent Types: Proofs by Partial Evaluation
Abstract. The specification and resolution of non-trivial domain constraints has become a well-recognised measure for improving the stability of large software systems. In this pa...
Stephan Herhut, Sven-Bodo Scholz, Robert Bernecky,...
MKM
2007
Springer
15 years 5 months ago
Towards Mathematical Knowledge Management for Electrical Engineering
Abstract. We explore mathematical knowledge in the field of electrical engineering and claim that electrical engineering is a suitable area of application for mathematical knowled...
Agnieszka Rowinska-Schwarzweller, Christoph Schwar...
GIR
2006
ACM
15 years 5 months ago
Towards Fuzzy Spatial Reasoning in Geographic IR Systems
Vague spatial information such as “x is located at walking distance of y” is abundant on the web. In this contribution, we propose a framework to represent such spatial inform...
Steven Schockaert, Martine De Cock, Etienne E. Ker...