122 search results - page 17 / 25 » On Segment-Based Stream Modeling and Its Applications. |
102
click to vote
ICSE
2009
IEEE-ACM
15 years 8 months ago
2009
IEEE-ACM
Model checking finds failures in software by exploring every possible execution schedule. Until recently it has been mainly applied to stand-alone applications. This paper presen...
114
click to vote
HT
1998
ACM
15 years 5 months ago
1998
ACM
This paper introduces XHMBS (the eXtended Hyperdocument Model Based on Statecharts) to support the formal specification of general hypermedia applications. XHMBS uses a novel form...
159
click to vote
INFOCOM
2012
IEEE
13 years 3 months ago
2012
IEEE
—Federation of geo-distributed cloud services is a trend in cloud computing which, by spanning multiple data centers at different geographical locations, can provide a cloud plat...
112
click to vote
CSCW
2012
ACM
13 years 9 months ago
2012
ACM
We have friends we consider very close and acquaintances we barely know. The social sciences use the term tie strength to denote this differential closeness with the people in our...
124
click to vote
KDD
2002
ACM
16 years 1 months ago
2002
ACM
In this paper we propose a scaling-up method that is applicable to essentially any induction algorithm based on discrete search. The result of applying the method to an algorithm ...