Sciweavers

7839 search results - page 271 / 1568
» What's there and what's not
Sort
View
95
Voted
ECOOP
2003
Springer
15 years 7 months ago
Modeling Crosscutting in Aspect-Oriented Mechanisms
Modeling four aspect-oriented programming mechanisms shows the way in which each supports modular crosscutting. Comparing the models produces a clear three part characterization of...
Hidehiko Masuhara, Gregor Kiczales
200
Voted
HINC
2003
Springer
15 years 7 months ago
The Birth of Simula
When designing Simula, Ole-Johan Dahl and Kristen Nygaard introduced the basic concepts of what later became known as object-orientation, which still, 35 years later, has a profoun...
Stein Krogdahl
ISAAC
2003
Springer
93views Algorithms» more  ISAAC 2003»
15 years 7 months ago
Range Mode and Range Median Queries on Lists and Trees
We consider algorithms for preprocessing labelled lists and trees so that, for any two nodes u and v we can answer queries of the form: What is the mode or median label in the sequ...
Danny Krizanc, Pat Morin, Michiel H. M. Smid
LICS
2002
IEEE
15 years 6 months ago
The Proof Complexity of Linear Algebra
We introduce three formal theories of increasing strength for linear algebra in order to study the complexity of the concepts needed to prove the basic theorems of the subject. We...
Michael Soltys, Stephen A. Cook
CDC
2009
IEEE
133views Control Systems» more  CDC 2009»
15 years 6 months ago
Stability of networks of hybrid ISS systems
— Interconnection of several hybrid input-to-state stable (ISS) systems is considered in this paper. We ask under what condition is such an interconnection stable and how an ISS-...
Sergey Dashkovskiy, Michael Kosmykov