Sciweavers

4048 search results - page 309 / 810
» Design Science, Engineering Science and Requirements Enginee...
Sort
View
FSTTCS
2009
Springer
15 years 11 months ago
Fighting bit Rot with Types (Experience Report: Scala Collections)
We report on our experiences in redesigning Scala’s collection libraries, focussing on the role that type systems play in keeping software architectures coherent over time. Type ...
Martin Odersky, Adriaan Moors
ISCAS
2005
IEEE
149views Hardware» more  ISCAS 2005»
15 years 10 months ago
Advances in QoS path(s) selection problem
— In this paper we provide a survey of three classes of combinatorial optimization problems that arise in communication network analysis. These problems, referred to as QoS (Qual...
Krishnaiyan Thulasiraman, Ying Xiao, Guoliang Xue
129
Voted
ICCS
2005
Springer
15 years 10 months ago
Adaptive Model Trust Region Methods for Generalized Eigenvalue Problems
Computing a few eigenpairs of large-scale matrices is a significant problem in science and engineering applications and a very active area of research. In this paper, two methods...
Pierre-Antoine Absil, C. G. Baker, Kyle A. Galliva...
127
Voted
CAISE
2004
Springer
15 years 10 months ago
A Unified Foundational Ontology and some Applications of it in Business Modeling
: Foundational ontologies provide the basic concepts upon which any domain-specific ontology is built. This paper presents a new foundational ontology, UFO, and shows how it can be...
Giancarlo Guizzardi, Gerd Wagner
161
Voted
ISSS
1998
IEEE
103views Hardware» more  ISSS 1998»
15 years 9 months ago
False Path Analysis Based on a Hierarchical Control Representation
False path analysis is an activity with applications in a variety of computer science and engineering domains like for instance high-level synthesis, worst case execution time est...
Apostolos A. Kountouris, Christophe Wolinski