5904 search results - page 386 / 1181 » Requirements for a Composition Language |
199
click to vote
WISE
2007
Springer
16 years 1 months ago
2007
Springer
Modeling in systems biology is concerned with using experimental information and mathematical methods to build quantitative models at different biological scales. This requires int...
197
click to vote
WECWIS
2006
IEEE
16 years 27 days ago
2006
IEEE
In today’s businesses, there is a trend that serviceoriented architecture (SOA) is evolving into a popular architectural paradigm for IT infrastructure. SOA allows companies’ ...
153
click to vote
APPROX
2005
Springer
16 years 13 days ago
2005
Springer
Abstract. We give a generic construction of an optimal hitting set generator (HSG) from any good “reconstructive” disperser. Past constructions of optimal HSGs have been based ...
204
click to vote
CBSE
2004
Springer
16 years 9 days ago
2004
Springer
A crucial issue in the design of Component-Based (CB) applications is the ability to early guarantee that the system under development will satisfy its Quality of Service requireme...
160
click to vote
IFM
2004
Springer
16 years 8 days ago
2004
Springer
Recent work on combining CSP and B has provided ways of describing systems comprised of components described in both B (to express requirements on state) and CSP (to express intera...