1697 search results - page 95 / 340 » Supporting the design of service contracts with interaction ... |
ICSE
2001
IEEE-ACM
15 years 4 months ago
2001
IEEE-ACM
Mocha is a model checker based on the theme of exploiting design modularity: instead of manipulating unstructured state-transition graphs, it supports the hierarchical modeling fra...
COMCOM
2007
14 years 12 months ago
2007
The MELISA system is a distributed platform for multi-platform sports content broadcasting, providing end users with a wide range of real-time interactive services during the spor...
114
click to vote
ICFEM
1998
Springer
15 years 3 months ago
1998
Springer
Open component architectures, such as CORBA, allow software systems to be composed of independent components. The behavior of components is described with a mixture of an interfac...
131
click to vote
DSRT
2003
IEEE
15 years 5 months ago
2003
IEEE
“Smart Things” are commonly understood as wireless ad-hoc networked, mobile, autonomous, special purpose computing appliances, usually interacting with their environment impli...
WWW
2004
ACM
16 years 16 days ago
2004
ACM
Business processes involve interactions among autonomous partners. We propose that these interactions be specified modularly as protocols. Protocols can be published, enabling imp...