Sciweavers

1937 search results - page 137 / 388
» Starting B Specifications from Use Cases
Sort
View
ECIS
2003
15 years 6 months ago
Conceptualizing the three dimensions of inter-organizational communities of practice
The paper describes and analyzes the way in which a particular case company stimulated the development of communities of practice as a vehicle for encouraging product and process ...
Sue Newell, Robert D. Galliers, Jimmy C. Huang
CODES
2007
IEEE
15 years 8 months ago
Pointer re-coding for creating definitive MPSoC models
Today's MPSoC synthesis and exploration design flows start abstract input specification model captured in a system level design language. Usually this model is created from a...
Pramod Chandraiah, Rainer Dömer
ENTCS
2008
79views more  ENTCS 2008»
15 years 4 months ago
Experimenting Formal Proofs of Petri Nets Refinements
Petri nets are a formalism for modelling and validating critical systems. Generally, the approach to specification starts from an abstract view of the system under study. Once val...
Christine Choppy, Micaela Mayero, Laure Petrucci
ECML
2003
Springer
15 years 10 months ago
Learning Rules to Improve a Machine Translation System
In this paper we show how to learn rules to improve the performance of a machine translation system. Given a system consisting of two translation functions (one from language A to ...
David Kauchak, Charles Elkan
BMCBI
2007
121views more  BMCBI 2007»
15 years 4 months ago
Development of an epitope conservancy analysis tool to facilitate the design of epitope-based diagnostics and vaccines
Background: In an epitope-based vaccine setting, the use of conserved epitopes would be expected to provide broader protection across multiple strains, or even species, than epito...
Huynh-Hoa Bui, John Sidney, Wei Li, Nicholas Fusse...