Sciweavers

10707 search results - page 383 / 2142
» Designing executable abstractions
Sort
View
IUI
2003
ACM
16 years 23 days ago
Tool support for designing nomadic applications
Model-based approaches can be useful when designing nomadic applications, which can be accessed through multiple interaction s. Various models and levels of abstraction can be con...
Giulio Mori, Fabio Paternò, Carmen Santoro
221
Voted
ECTEL
2009
Springer
16 years 4 days ago
The Conceptual and Architectural Design of a System Supporting Exploratory Learning of Mathematics Generalisation
Abstract. The MiGen project is designing and developing an intelligent, exploratory environment to support 11–14-year-old students in their learning of mathematical generalisatio...
Darren Pearce, Alexandra Poulovassilis
206
Voted
EMO
2001
Springer
100views Optimization» more  EMO 2001»
16 years 14 hour ago
Fuzzy Evolutionary Hybrid Metaheuristic for Network Topology Design
Abstract. Topology design of enterprise networks is a hard combinatorial optimization problem. It has numerous constraints, several objectives, and a very noisy solution space. Bes...
Habib Youssef, Sadiq M. Sait, Salman A. Khan
FASE
2001
Springer
16 years 12 hour ago
A Hoare Calculus for Verifying Java Realizations of OCL-Constrained Design Models
Abstract. The Object Constraint Language OCL offers a formal notation for constraining the modelling elements occurring in UML diagrams. In this paper we apply OCL for developing ...
Bernhard Reus, Martin Wirsing, Rolf Hennicker
SIBGRAPI
1999
IEEE
15 years 11 months ago
Developing Morphological Building Blocks: From Design to Implementation
Abstract. Mathematical morphology has become a widely used technique for image processing and computer vision. Initially designed as a set theory, it was generalized to the set of ...
Marcos Cordeiro d'Ornellas, Rein van den Boomgaard