2060 search results - page 367 / 412 » The Composition of Event-B Models |
157
click to vote
NOSSDAV
2005
Springer
15 years 10 months ago
2005
Springer
Service overlay networks have recently attracted tremendous interests. In this paper, we propose a new integrated framework for specifying services composed of service components ...
126
click to vote
SOCO
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. The need to use position-dependent parameters often hamdefinition of flexible, extensible, and reusable abstractions for software composition. This observation has led ...
136
click to vote
CAISE
2005
Springer
15 years 9 months ago
2005
Springer
Coupling of cross-organizational business processes in electronic markets is a difficult and time-consuming task. In practice business processes are geographically distributed whic...
122
click to vote
CSCW
2004
ACM
15 years 9 months ago
2004
ACM
A framework is described for analyzing keystroke level data from instant messages (IM). This is unlike other analyses of IM which employ server-based logs of messages. This framew...
138
click to vote
ATAL
2004
Springer
15 years 9 months ago
2004
Springer
As robots become more complex by incorporating dynamic stability or greater mechanical degrees of freedom, the difficulty of developing control algorithms directly on the robot in...