4476 search results - page 785 / 896 » A flexible framework for engineering |
172
click to vote
SIGCSE
2010
ACM
16 years 1 months ago
2010
ACM
ion is a critical concept that underlies many topics in computing science. For example, in software engineering, the distinction between a component’s behavior and its implement...
158
click to vote
ICML
2009
IEEE
16 years 1 months ago
2009
IEEE
Physics-based simulation codes are widely used in science and engineering to model complex systems that would be infeasible to study otherwise. Such codes provide the highest-fid...
155
click to vote
FOSSACS
2009
Springer
16 years 1 months ago
2009
Springer
Standard analysis on recursive data structures restrict their attention to shape properties (for instance, a program that manipulates a list returns a list), excluding properties t...
156
click to vote
FOSSACS
2009
Springer
16 years 1 months ago
2009
Springer
Reactive systems, proposed by Leifer and Milner, represent a meta-framework aimed at deriving behavioral congruences for those specification formalisms whose operational semantics...
156
click to vote
ICCSA
2009
Springer
16 years 1 months ago
2009
Springer
Data aggregation in Geographic Information Systems (GIS) is a desirable feature, spatial data are integrated in OLAP engines for this purpose. However, the development and operatio...