Sciweavers

1908 search results - page 367 / 382
» How to teach software modeling
Sort
View
DOCENG
2005
ACM
14 years 11 months ago
Injecting information into atomic units of text
This paper presents a new approach to text processing, based on textemes. These are atomic text units generalising the concepts of character and glyph by merging them in a common ...
Yannis Haralambous, Gábor Bella
EON
2008
14 years 11 months ago
Synthesizing the Mediator with jABC/ABC
Abstract. In this paper we show how to apply a tableau-based software composition technique to automatically generate the mediator's service logic. This uses an LTL planning (...
Tiziana Margaria
COMPUTER
2008
84views more  COMPUTER 2008»
14 years 9 months ago
e-Science, caGrid, and Translational Biomedical Research
We describe the informatics requirements of translational biomedical research projects and how e-Science tools can be used to address them. We use pattern templates to describe the...
Joel H. Saltz, Tahsin M. Kurç, Shannon Hast...
IJLIT
2010
67views more  IJLIT 2010»
14 years 8 months ago
Interoperability-Centric Problems: New Challenges and Legal Solutions
Whereas abandonment of detailed regulation is widely asserted to be the true way along with the fluctuations of the business models and emergence of IP-based services, there are s...
Turgut Ayhan Beydogan
BC
2010
163views more  BC 2010»
14 years 7 months ago
Action and behavior: a free-energy formulation
We have previously tried to explain perceptual inference and learning under a free-energy principle that pursues Helmholtz's agenda to understand the brain in terms of energy ...
Karl J. Friston, Jean Daunizeau, James Kilner, Ste...