1585 search results - page 200 / 317 » A framework for computer-aided validation |
119
click to vote
ICASSP
2007
IEEE
15 years 10 months ago
2007
IEEE
There are currently a large number of ‘‘orphan’’ G-protein-coupled receptors (GPCRs) whose endogenous ligands (peptide hormones) are unknown. Identification of these pepti...
145
Voted
INFOCOM
2005
IEEE
15 years 9 months ago
2005
IEEE
— Recently, overlay networks have emerged as a means to enhance end-to-end application performance and availability. Overlay networks attempt to leverage the inherent redundancy ...
169
Voted
HT
2004
ACM
15 years 9 months ago
2004
ACM
In this paper, we present a model-driven methodology and toolset for automatic generation of hypertext system repositories. Our code generator, called Bamboo, is based on a Contai...
180
click to vote
CEEMAS
2001
Springer
15 years 8 months ago
2001
Springer
Developing multi-agent simulations seems to be rather straight forward, as active entities in the original correspond to active agents in the model. Thus plausible behaviors can be...
120
click to vote
ASWEC
2000
IEEE
15 years 8 months ago
2000
IEEE
This paper describes the development of an experience factory in an Australian organization involved in the field of telecommunications. Faced with improvement needs, in 1998 the ...