3763 search results - page 533 / 753 » Component-Based Software Engineering Processes |
138
click to vote
FSTTCS
2005
Springer
16 years 1 days ago
2005
Springer
We extend Howe’s method to prove that input-early strong and -delay contextual bisimulations are congruences for the Higher-order mobile embedded resources (Homer) calculus, a ty...
153
click to vote
MM
2004
ACM
15 years 12 months ago
2004
ACM
Auracle is a networked sound instrument controlled by the voice. Users jam together over the Internet using only a microphone. Throughout the development process, the authors expe...
175
click to vote
FSTTCS
2004
Springer
15 years 12 months ago
2004
Springer
We introduce ctm, a process calculus which embodies a notion of trust for global computing systems. In ctm each principal (location) is equipped with a policy, which determines its...
158
click to vote
ICFEM
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. In this paper we present a technique for the Spin tool, inspired by practical experiences with Spin and a FireWire protocol. We show how to guide simulations with Spin, b...
150
click to vote
ISORC
2003
IEEE
15 years 11 months ago
2003
IEEE
: Structuring real-time concurrent programs in the form of groups of fixed-priority processes is an old art which is appropriate for only a small fraction of modern real-time distr...