Sciweavers

3053 search results - page 109 / 611
» Structured Objects: Modeling and Reasoning
Sort
View
SIAMCOMP
2012
13 years 5 months ago
An Optimal Dynamic Data Structure for Stabbing-Semigroup Queries
Let S be a set of n intervals in R, and let (S, +) be any commutative semigroup. We assign a weight ω(s) ∈ S to each interval in S. For a point x ∈ R, let S(x) ⊆ S be the se...
Pankaj K. Agarwal, Lars Arge, Haim Kaplan, Eyal Mo...
CGF
2002
65views more  CGF 2002»
15 years 3 months ago
A Biologically-Parameterized Feather Model
Feathers, unlike other cutaneous appendages such as hair, fur, or scales have a definite structure. Variation in feather structure creates a wide range of resulting appearances. C...
Lisa Streit, Wolfgang Heidrich
111
Voted
OOPSLA
2009
Springer
15 years 10 months ago
Typestate-oriented programming
Objects model the world, and state is fundamental to a faithful modeling. Engineers use state machines to understand and reason about state transitions, but programming languages ...
Jonathan Aldrich, Joshua Sunshine, Darpan Saini, Z...
ESEM
2007
ACM
15 years 5 months ago
Assessing, Comparing, and Combining Statechart- based testing and Structural testing: An Experiment
An important number of studies have addressed the importance of models in software engineering, mainly in the design of robust software systems. Although models have been proven t...
Samar Mouchawrab, Lionel C. Briand, Yvan Labiche
112
Voted
CORR
2008
Springer
82views Education» more  CORR 2008»
15 years 3 months ago
An Evaluation of a Structured Spreadsheet Development Methodology
This paper presents the results of an empirical evaluation of the quality of a structured methodology for the development of spreadsheet models, proposed in numerous previous pape...
Kamalasen Rajalingham, David Chadwick, Brian Knigh...