1975 search results - page 35 / 395 » Property analysis and design understanding |
151
click to vote
INFOCOM
2010
IEEE
15 years 4 months ago
2010
IEEE
—The P2P pull-push hybrid architecture has achieved great success in delivering live video traffic over the Internet. However, a formal study on the sub-stream scheduling proble...
174
click to vote
EDM
2009
15 years 3 months ago
2009
This paper presents a model which can automatically detect a variety of student speech acts as students collaborate within a computer supported collaborative learning environment. ...
171
click to vote
ESEC
1997
Springer
15 years 9 months ago
1997
Springer
Abstract. In this paper we demonstrate how static concurrency analysis techniques can be used to verify application-specific properties of an architecture description. Specifically...
171
click to vote
FMAM
2010
15 years 3 months ago
2010
: In this paper, we present the experience gained with the participation in a case study in which a novel high-level design language (UML4SOA) was used to produce a service-oriente...
188
click to vote
TWC
2008
15 years 5 months ago
2008
Space-time block codes (STBC) using coordinate interleaved orthogonal designs (CIOD) proposed recently by Khan and Rajan allow single-complex symbol decoding and offer higher data ...