3908 search results - page 418 / 782 » A model for service-oriented communication systems |
224
click to vote
ICARCV
2002
IEEE
16 years 19 days ago
2002
IEEE
Cooperative robotic systems provide design and implementation challenges that are not easy to solve. This paper describes a parallel implementation for evolving cooperative roboti...
222
click to vote
DAGSTUHL
2000
15 years 9 months ago
2000
Queueing network models have been extensively applied to represent and analyze resource sharing systems such as communication and computer systems and they have proved to be a pow...
180
click to vote
WSC
1998
15 years 9 months ago
1998
The validity and usefulness of system simulation has been well-established for decades in areas such as computer and communications systems, general manufacturing systems, and mil...
278
click to vote
FCCM
2009
IEEE
15 years 5 months ago
2009
IEEE
Adaptive systems are set to become more mainstream, as numerous practical applications in the communications domain emerge. FPGAs offer an ideal implementation platform, combining...
222
click to vote
TYPES
1993
Springer
15 years 11 months ago
1993
Springer
Abstract. A data link protocol developed and used by Philips Electronics is modeled and veri ed using I/O automata theory. Correctness is computer-checked with the Coq proof develo...