Sciweavers

6348 search results - page 1086 / 1270
» A Lesson for Software Engineering from Knowledge Engineering
Sort
View
107
Voted
CAV
2010
Springer
214views Hardware» more  CAV 2010»
15 years 6 months ago
Learning Component Interfaces with May and Must Abstractions
elor Thesis: Demand Driven Abstraction Refinement • Advisor: Dr. Andrey Rybalchenko Kendriya Vidyalaya ONGC, Dehradun, Uttaranchal INDIA All India Senior Secondary Examination, ...
Rishabh Singh, Dimitra Giannakopoulou, Corina S. P...
122
Voted
ICCSA
2007
Springer
15 years 6 months ago
Component Specification for Parallel Coupling Infrastructure
Coupled systems comprise multiple interacting subsystems and are an increasingly common computational science application, most notably as multiscale and multiphysics models. Paral...
Jay Walter Larson, Boyana Norris
125
Voted
ATAL
2006
Springer
15 years 6 months ago
Enhancing agent-oriented models with aspects
The modular representation of concerns is imperative in the design modeling of multi-agent systems (MASs). However, MAS designers typically face a number of concerns that inherent...
Alessandro F. Garcia, Christina Chavez, Ricardo Ch...
LCPC
1995
Springer
15 years 6 months ago
V-cal: A Calculus for the Compilation of Data Parallel Languages
V-cal is a calculus designed to support the compilation of data parallel languages that allows to describe program transformations and optimizations as semantics preserving rewrite...
P. F. G. Dechering, J. A. Trescher, J. P. M. de Vr...
90
Voted
BCSHCI
2007
15 years 4 months ago
A toolkit approach to sketched diagram recognition
Sketch-based tools provide a more human centered design environment than traditional widget-based computer design software. A number of sketch tools exist that support specific de...
Beryl Plimmer, Isaac Freeman
« Prev « First page 1086 / 1270 Last » Next »