Sciweavers

16859 search results - page 400 / 3372
» Generative software development
Sort
View
FSTTCS
2006
Springer
15 years 10 months ago
Game Semantics for Higher-Order Concurrency
Abstract. We describe a denotational (game) semantics for a call-byvalue functional language with multiple threads of control, which may communicate values of general type on local...
James Laird
WSC
2008
15 years 9 months ago
Concurrent simulation and optimization models for mining planning
One of the most important challenges for mining engineers is to correctly analyze and generate short-term planning schedules, or simply month mining plan. The objective is to demo...
Marcelo Moretti Fioroni, Luiz Augusto Gago Franzes...
CSSE
2008
IEEE
15 years 8 months ago
A Power-Efficient Floating-Point Co-processor Design
According to dramatically growing interesting in power-efficient embedded processor, designers must establish the proper power strategy when they design new embedded processor core...
Xunying Zhang, Xubang Shen
HCI
2007
15 years 8 months ago
Exchanging Graphical Emails Among Elderly People and Kindergarten Children
Email is a convenient tool, however, it is still difficult for elderly people and kindergarten children. If they can learn to use it, their ability to communicate may be remarkably...
Megumi Mitsumoto, Sanae H. Wake
IFE
2002
69views more  IFE 2002»
15 years 6 months ago
Generierung interaktiver Animationen von Berechnungsmodellen
In this article we introduce two new generative approaches of animated computational models. These approaches are applied in context of educational software systems for compiler de...
Stephan Diehl, Andreas Kerren