Sciweavers

1937 search results - page 93 / 388
» Starting B Specifications from Use Cases
Sort
View
DAC
2007
ACM
15 years 8 months ago
Integrated Droplet Routing in the Synthesis of Microfluidic Biochips
Microfluidic biochips are revolutionizing many areas of biochemistry and biomedical sciences. Several synthesis tools have recently been proposed for the automated design of bioch...
Tao Xu, Krishnendu Chakrabarty
BMCBI
2007
136views more  BMCBI 2007»
15 years 4 months ago
Automating document classification for the Immune Epitope Database
Background: The Immune Epitope Database contains information on immune epitopes curated manually from the scientific literature. Like similar projects in other knowledge domains, ...
Peng Wang, Alexander A. Morgan, Qing Zhang, Alessa...
EOR
2010
99views more  EOR 2010»
14 years 11 months ago
Expected gain-loss pricing and hedging of contingent claims in incomplete markets by linear programming
We analyze the problem of pricing and hedging contingent claims in the multi-period, discrete time, discrete state case using the concept of a sufficiently attractive expected gai...
Mustafa Ç. Pinar, Aslihan Salih, Ahmet Camc...
DAC
2007
ACM
16 years 5 months ago
Automatic Verification of External Interrupt Behaviors for Microprocessor Design
Interrupt behaviors, especially the external ones, are difficult to verify in a microprocessor design project in that they involve both interacting hardware and software. This pap...
Fu-Ching Yang, Wen-Kai Huang, Ing-Jer Huang
COMCOM
2008
147views more  COMCOM 2008»
15 years 4 months ago
Vehicular Ad Hoc Networks: A New Challenge for Localization-Based Systems
A new kind of ad hoc network is hitting the streets: Vehicular Ad Hoc Networks (VANets). In these networks, vehicles communicate with each other and possibly with a roadside infra...
Azzedine Boukerche, Horacio A. B. F. de Oliveira, ...