1988 search results - page 270 / 398 » Engineering formal metatheory |
172
click to vote
GI
2010
Springer
15 years 5 months ago
2010
Springer
: Determining the QoS (quality of service) of composite Web services is of crucial importance for both service providers and consumers. However, service descriptions of constituent...
220
click to vote
ISPDC
2010
IEEE
15 years 5 months ago
2010
IEEE
—This paper presents an operational semantics of the repetitive model of computation, which is the basis for the repetitive structure modeling (RSM) package defined in the stand...
151
click to vote
TCBB
2010
15 years 4 months ago
2010
—Models of regulatory networks become more difficult to construct and understand as they grow in size and complexity. Large models are usually built up from smaller models, repre...
199
click to vote
IAT
2010
IEEE
15 years 4 months ago
2010
IEEE
There is a need for research on the scientific base and engineering requirements for building trustworthy systems in dynamic environments. To address this need, we study risk analy...
192
click to vote
PPDP
2010
Springer
15 years 4 months ago
2010
Springer
We propose a model for XML update primitives of the W3C XQuery Update Facility as parameterized rewriting rules of the form: "insert an unranked tree from a regular tree lang...