Sciweavers

1534 search results - page 178 / 307
» A conceptual framework for service modelling
Sort
View
FORTE
2008
14 years 11 months ago
Checking Correctness of Transactional Behaviors
Abstract. The Signal Calculus is an asynchronous process calculus featuring multicast communication. It relies on explicit modeling of the communication structure of the network (c...
Vincenzo Ciancia, Gian Luigi Ferrari, Roberto Guan...
ICWS
2007
IEEE
14 years 11 months ago
Towards automatic mediation of OWL-S process models
The framework for automatic mediation of two process models composed of semantically annotated web services is presented. Process mediation is hard because of many possible mismat...
Roman Vaculín, Katia P. Sycara
RTSS
1998
IEEE
15 years 2 months ago
Elastic Task Model for Adaptive Rate Control
An increasing number of real-time applications, related to multimedia and adaptive control systems, require greater flexibility than classical real-time theory usually permits. In...
Giorgio C. Buttazzo, Giuseppe Lipari, Luca Abeni
CORR
2011
Springer
173views Education» more  CORR 2011»
14 years 5 months ago
U-Sem: Semantic Enrichment, User Modeling and Mining of Usage Data on the Social Web
With the growing popularity of Social Web applications, more and more user data is published on the Web everyday. Our research focuses on investigating ways of mining data from su...
Fabian Abel, Ilknur Celik, Claudia Hauff, Laura Ho...
SOUPS
2009
ACM
15 years 4 months ago
Social applications: exploring a more secure framework
Online social network sites, such as MySpace, Facebook and others have grown rapidly, with hundreds of millions of active users. A new feature on many sites is social applications...
Andrew Besmer, Heather Richter Lipford, Mohamed Sh...