5326 search results - page 664 / 1066 » On what we can ensure |
208
Voted
ICSOC
2005
Springer
16 years 11 days ago
2005
Springer
Abstract. Composite web services can be orchestrated in a decentralized manner by breaking down the original service specification into a set of partitions and executing them on a...
190
click to vote
IFM
2005
Springer
16 years 11 days ago
2005
Springer
Abstract. We present an industrial project conducted at Ericsson Danmark A/S, Telebit where formal methods in the form of Coloured Petri Nets (CP-nets or CPNs) have been used for t...
145
click to vote
EXTREME
2004
ACM
16 years 9 days ago
2004
ACM
It’s hard to argue against the concepts of self-describing data, contextual interfaces, and richer metadata for content that eventually will make up the Semantic Web. The need i...
149
click to vote
GECCO
2004
Springer
16 years 7 days ago
2004
Springer
Temperature and radiation tolerant electronics, as well as long life survivability are key capabilities required for future NASA missions. Current approaches to electronics for ext...
187
click to vote
PEPM
2004
ACM
16 years 6 days ago
2004
ACM
Advanced typing, matching, and evaluation strategy features, as well as very general conditional rules, are routinely used in equational programming languages such as, for example...