4476 search results - page 798 / 896 » A flexible framework for engineering |
158
click to vote
ESWS
2005
Springer
15 years 12 months ago
2005
Springer
When information services are organized to provide some composed functionality, their interactions can be formally represented as workflows. Traditionally, workflows are executed...
174
click to vote
FOSSACS
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. We introduce a domain-theoretic computational model for multivariable differential calculus, which for the first time gives rise to data types for differentiable functio...
161
click to vote
FSTTCS
2005
Springer
15 years 12 months ago
2005
Springer
We construct a formal framework for investigating epistemic and temporal notions in the context of distributed quantum systems. While we rely on structures developed in [DDKP05], w...
169
click to vote
FSTTCS
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. We consider a generalization of the set cover problem, in which elements are covered by pairs of objects, and we are required to find a minimum cost subset of objects th...
171
click to vote
ICESS
2005
Springer
15 years 12 months ago
2005
Springer
Since IPv6 has more benefits over IPv4, the development and deployment of the IPv6 protocol-based products are currently taking place and the migration of IPv4 to IPv6 has also be...