7121 search results - page 1055 / 1425 » Functions as Session-Typed Processes |
193
click to vote
ECAL
2007
Springer
16 years 27 days ago
2007
Springer
Abstract. Proteins, under native conditions, fold to specific 3D structures according to their 1D amino acid sequence, which in turn is defined by the genetic code. The specific...
153
click to vote
ECOWS
2007
Springer
16 years 27 days ago
2007
Springer
Service composition and service statefulness are key concepts in Web Service system programming. In this paper we present JOLIE, which is the full implementation of our formal cal...
174
click to vote
ECTEL
2007
Springer
16 years 27 days ago
2007
Springer
The paper presents LOCO-Analyst, an educational tool for providing teachers with feedback on the relevant aspects of the learning process taking place in a web-based learning envir...
189
click to vote
EUROPAR
2007
Springer
16 years 27 days ago
2007
Springer
We study the connectivity properties of a family of random graphs which closely model the Bluetooth’s device discovery process, where each device tries to connect to other device...
163
click to vote
GECCO
2007
Springer
16 years 27 days ago
2007
Springer
This paper shows that the evolutionary design of digital circuits which is conducted at the gate level is able to produce human-competitive circuits at the transistor level. In ad...