5961 search results - page 1176 / 1193 » Design Science and Software Engineering |
BMCBI
2006
13 years 7 months ago
2006
Background: Stochastic simulation has become a useful tool to both study natural biological systems and design new synthetic ones. By capturing the intrinsic molecular fluctuation...
TCS
2008
13 years 7 months ago
2008
Intersection types are well-known to type theorists mainly for two reasons. Firstly, they type all and only the strongly normalizable lambda terms. Secondly, the intersection type...
PLDI
2006
ACM
14 years 1 months ago
2006
ACM
Adding a sound information flow security policy to an existing program is a difficult task that requires major analysis of and changes to the program. In this paper we show how ...
UIST
2006
ACM
14 years 1 months ago
2006
ACM
The creation of most models used in computer animation and computer games requires the assignment of texture coordinates, texture painting, and texture editing. We present a novel...
UIST
2005
ACM
14 years 1 months ago
2005
ACM
One of the problems with mobile media devices is that they may distract users during critical everyday tasks, such as navigating the streets of a busy city. We addressed this issu...