8627 search results - page 1400 / 1726 » Software Engineering Using RATionale |
173
click to vote
ENTCS
2010
15 years 4 months ago
2010
We study the biochemical processes involved in scaffold-mediated crosstalk between the cAMP and the Raf-1/MEK/ERK pathways. We model the system by a continuous time Markov chain w...
184
click to vote
ENTCS
2010
15 years 4 months ago
2010
We propose an algebra of languages and transformations as a means for extending s syntactically. The algebra provides a layer of high-level abstractions built on top of languages ...
163
click to vote
ENTCS
2010
15 years 4 months ago
2010
Fundamental nano-patterns are simple, static, binary properties of Java methods, such as ObjectCreator and Recursive. We present a provisional catalogue of 17 such nano-patterns. ...
219
click to vote
ENTCS
2010
15 years 4 months ago
2010
The zipper is a well known design pattern for providing a cursor-like interface to a data structure. However, the classic treatise by Huet only scratches the surface of some of it...
198
click to vote
AROBOTS
2010
15 years 3 months ago
2010
Social learning in robotics has largely focused on imitation learning. Here we take a broader view and are interested in the multifaceted ways that a social partner can influence t...