Skip navigation
Home
Browse
Communities
& Collections
Browse Items by:
Issue Date
Author
Title
Advisor
Help
Sign on to:
My DSpace
Receive email
updates
Edit Profile
Adelaide Research & Scholarship
Adelaide Research & Scholarship
Search
Search:
All collections
Schools and Disciplines
School of Computer Science
Computer Vision
Formal Modelling and Verification
Computer Science publications
for
Current filters:
Title
Author
Subject
Date Issued
Advisor
School
Department
Organisation
Equals
Contains
ID
Not Equals
Not Contains
Not ID
Title
Author
Subject
Date Issued
Advisor
School
Department
Organisation
Equals
Contains
ID
Not Equals
Not Contains
Not ID
Title
Author
Subject
Date Issued
Advisor
School
Department
Organisation
Equals
Contains
ID
Not Equals
Not Contains
Not ID
Start a new search
Add filters:
Use filters to refine the search results.
Title
Author
Subject
Date Issued
Advisor
School
Department
Organisation
Equals
Contains
ID
Not Equals
Not Contains
Not ID
Results 1-4 of 4 (Search time: 0.002 seconds).
previous
1
next
Item hits:
Preview
Issue Date
Title
Author(s)
2015
TL-VIEWS: a tool for temporal logic verification of transactional behavior of web service compositions
Bourne, S.
;
Szabo, C.
;
Sheng, Q.
;
Toumani, F.
;
Pernici, B.
;
Grigori, D.
;
Benslimane, D.
;
Mendling, J.
;
HadjAlouane, N.
;
Blake, B.
;
Perrin, O.
;
Saleh, I.
;
Bhiri, S.
;
12th International Conference on Service-Oriented Computing (ICSOC) (3 Nov 2014 - 6 Nov 2014 : Paris, France)
2015
Sense and focus: towards effective location inference and event detection on Twitter
Zhang, Y.
;
Szabo, C.
;
Sheng, Q.
;
16th International Conference Web Information Systems Engineering (WISE) (1 Nov 2015 - 3 Nov 2015 : Miami, FL)
2015
Managing configurable business process as a service to satisfy client transactional requirements
Bourne, S.
;
Szabo, C.
;
Sheng, Q.
;
Maglio, P.
;
Paik, I.
;
Chou, W.
;
12th IEEE International Conference on Services Computing (SCC) (27 Jun 2015 - 2 Jul 2015 : New York City, NY)
2015
Classifying perspectives on Twitter: immediate observation, affection, and speculation
Zhang, Y.
;
Szabo, C.
;
Sheng, Q.
;
Fang, X.
;
Wang, J.
;
Cellary, W.
;
Wang, D.
;
Wang, H.
;
Chen, S.
;
Li, T.
;
Zhang, Y.
;
16th International Conference on Web Information Systems Engineering (WISE) (1 Nov 2015 - 3 Nov 2015 : Miami, FL)
Discover
Author
2
Bourne, S.
2
Zhang, Y.
1
12th IEEE International Conferenc...
1
12th International Conference on ...
1
16th International Conference on ...
1
16th International Conference Web...
1
Benslimane, D.
1
Bhiri, S.
1
Blake, B.
1
Cellary, W.
.
next >
Subject
1
Twitter; Microblog content classi...
1
Twitter; Social media; Data minin...