Sciweavers

859 search results - page 129 / 172
» Explaining Synthesized Software
Sort
View
APSEC
2003
IEEE
14 years 10 days ago
Rigorous EBNF-based Definition for a Graphic Modeling Language
Today, the syntax of visual specification languages such as UML is typically defined using meta-modelling techniques. However, this kind of syntax definition has drawbacks. In par...
Yong Xia, Martin Glinz
LCR
2000
Springer
186views System Software» more  LCR 2000»
14 years 7 days ago
Adaptive Parallelism for OpenMP Task Parallel Programs
Abstract. We present a system that allows task parallel OpenMP programs to execute on a network of workstations (NOW) with a variable number of nodes. Such adaptivity, generally ca...
Alex Scherer, Thomas R. Gross, Willy Zwaenepoel
UIST
1997
ACM
14 years 6 days ago
Systematic Output Modification in a 2D User Interface Toolkit
In this paper we present a simple but general set of techniques for modifying output in a 2D user interface toolkit. We use a combination of simple subclassing, wrapping, and coll...
W. Keith Edwards, Scott E. Hudson, Joshua Marinacc...
ESEM
2009
ACM
13 years 12 months ago
Understanding the use of inheritance with visual patterns
The goal of this work is to visualize inheritance in objectoriented programs to help its comprehension. We propose a single, compact view of all class hierarchies at once using a ...
Simon Denier, Houari A. Sahraoui
FLAIRS
2010
13 years 11 months ago
Grounded Event-Based and Modal Representations for Objects, Relations, Beliefs, Etc.
Intelligent software agents (agents) adhering to the action selection paradigm have only one primary task that they need accomplish at any given time: to choose their next action....
Ryan James McCall, Stan Franklin, David Friedlande...