2153 search results - page 333 / 431 » From Requirements Models to Formal Specifications in B |
163
click to vote
SEC
2004
15 years 7 months ago
2004
Business Processes for Web Services (BPEL4WS) are the new paradigms for lightweight enterprise integration. They cross organizational boundaries and are provided by entities that s...
187
click to vote
IEEEMM
2002
15 years 6 months ago
2002
ion when we annotate content. This therefore requires us to investigate and model video semantics. Because of the type and volume of data, general-purpose approaches are likely to ...
172
click to vote
EXPCS
2007
15 years 10 months ago
2007
Experimental computer systems research typically ignores the end-user, modeling him, if at all, in overly simple ways. We argue that this (1) results in inadequate performance eva...
151
click to vote
BMCBI
2007
15 years 6 months ago
2007
Background: Since real time PCR was first developed, several approaches to estimating the initial quantity of template in an RT-PCR reaction have been tried. While initially only ...
179
click to vote
CORR
2010
Springer
15 years 6 months ago
2010
Springer
Abstract. We present the discrete beeping communication model, which assumes nodes have minimal knowledge about their environment and severely limited communication capabilities. S...