Sciweavers

4961 search results - page 99 / 993
» Homomorphism-Homogeneous Relational Structures
Sort
View
CSMR
2006
IEEE
15 years 6 months ago
IntensiVE, a toolsuite for documenting and checking structural source-code regularities
As size and complexity of software systems increase, preserving the design and specification of their implementation structure gains importance in order to maintain the evolvabil...
Kim Mens, Andy Kellens
ICALP
2005
Springer
15 years 6 months ago
Preservation Under Extensions on Well-Behaved Finite Structures
A class of relational structures is said to have the extension preservation property if every first-order sentence that is preserved under extensions on the class is equivalent t...
Albert Atserias, Anuj Dawar, Martin Grohe
61
Voted
CDC
2009
IEEE
15 years 5 months ago
Two-dimensional almost-Riemannian structures with tangency points
Two-dimensional almost-Riemannian structures are generalized Riemannian structures on surfaces for which a local orthonormal frame is given by a Lie bracket generating pair of vec...
Andrei A. Agrachev, Ugo V. Boscain, Gregoire Charl...
95
Voted
OSDI
2008
ACM
16 years 1 months ago
Digging for Data Structures
Because writing computer programs is hard, computer programmers are taught to use encapsulation and modularity to hide complexity and reduce the potential for errors. Their progra...
Anthony Cozzie, Frank Stratton, Hui Xue, Samuel T....
OTM
2007
Springer
15 years 7 months ago
Data-Driven Modeling and Coordination of Large Process Structures
Abstract. In the engineering domain, the development of complex products (e.g., cars) necessitates the coordination of thousands of (sub-)processes. One of the biggest challenges f...
Dominic Müller, Manfred Reichert, Joachim Her...