366 search results - page 45 / 74 » Syntactic Abstraction of B Models to Generate Tests |
BC
2008
13 years 9 months ago
2008
Abstract This paper presents a simple yet biologicallygrounded model for the neural control of Caenorhabditis elegans forward locomotion. We identify a minimal circuit within the C...
EWC
2000
13 years 9 months ago
2000
The complexity of modern products and design tools has made the exchange of design information more complex. It is widely recognised that the seamless capture, storage, and retriev...
PCM
2007
Springer
14 years 3 months ago
2007
Springer
Abstract. In many rate control models, a uniform weighted distortion has been assumed; that is, the DCT coefficients of the motioncompensation difference frames (residues) conform...
DILS
2006
Springer
14 years 22 days ago
2006
Springer
Scientific experiments are becoming increasingly large and complex, with a commensurate increase in the amount and complexity of data generated. Data, both intermediate and final r...
ICWS
2003
IEEE
13 years 10 months ago
2003
IEEE
Abstract. Todays information systems are built using various component models such as Enterprise Java Beans, JavaBeans, Microsoft COM+, and CORBA distributed objects. In this paper...