2153 search results - page 259 / 431 » From Requirements Models to Formal Specifications in B |
142
click to vote
ACSC
2006
IEEE
16 years 15 days ago
2006
IEEE
Modern computer networks contain an amalgamation of devices and technologies, with the performance exhibited by each central to digital communications. Varieties of methods exist ...
224
click to vote
BMCBI
2011
14 years 10 months ago
2011
Background: Genome-wide transcriptional profiling of patient blood samples offers a powerful tool to investigate underlying disease mechanisms and personalized treatment decisions...
217
click to vote
SCP
2000
15 years 6 months ago
2000
Obtaining performance models, like Markov chains and queueing networks, for systems of significant complexity and magnitude is a difficult task that is usually tackled using human...
187
click to vote
MMM
2005
Springer
16 years 18 hour ago
2005
Springer
Three-dimensional model acquisition of an object is essential in many multimedia applications. Constructing three-dimensional models of objects from two-dimensional images is an o...
155
click to vote
COOPIS
2004
IEEE
15 years 10 months ago
2004
IEEE
The model of overloading views is a facility allowing the programmer to separate some kinds of crosscutting concerns that occur during design, implementation and maintenance of dat...