2153 search results - page 320 / 431 » From Requirements Models to Formal Specifications in B |
171
click to vote
ENTCS
2006
15 years 7 months ago
2006
Capability passing processes model global applications in a way that decouples the global agreement aspects of protocols from the details of how the communications are actually ma...
221
click to vote
KES
2008
Springer
15 years 7 months ago
2008
Springer
One of the main problems facing the development of ontology-aware authoring systems (OAS) is to link well-designed domain-independent knowledge (ontologies) with domain content. Su...
186
click to vote
JOT
2006
15 years 7 months ago
2006
"Nature" and "Perspective" have similar meaning for Eclipse developers and for personnel in a software product line organization. The nature of product line wo...
209
click to vote
CASES
2004
ACM
16 years 1 months ago
2004
ACM
A coarse-grain multithreaded processor can effectively hide long memory latencies by quickly switching to an alternate task when the active task issues a memory request, improving...
219
click to vote
IMC
2010
ACM
15 years 5 months ago
2010
ACM
Network tomography establishes linear relationships between the characteristics of individual links and those of end-toend paths. It has been proved that these relationships can b...