1177 search results - page 98 / 236 » A Theory of Role Composition |
176
click to vote
SEW
2006
IEEE
16 years 5 days ago
2006
IEEE
Complex software systems typically involve features like time, concurrency and probability, where probabilistic computations play an increasing role. It is challenging to formaliz...
171
click to vote
EWSPT
2003
Springer
15 years 11 months ago
2003
Springer
Long-lived, architecture-based software systems are increasingly important. Effective process support for these systems depends upon recognising their compositional nature and the ...
181
click to vote
ICRA
2002
IEEE
15 years 11 months ago
2002
IEEE
Future planetary exploration missions will require rovers to traverse very rough terrain with limited human supervision. Wheel-terrain interaction plays a critical role in rough-t...
142
Voted
APLAS
2007
ACM
15 years 10 months ago
2007
ACM
This paper studies types and probabilistic bisimulations for a timed -calculus as an effective tool for a compositional analysis of probabilistic distributed behaviour. The types c...
191
Voted
ASWC
2006
Springer
15 years 10 months ago
2006
Springer
The Semantic Web services has become a challenging research topic in the last half of decade. Various frameworks offer means to semantically describe all the related aspects of Sem...