Sciweavers

3429 search results - page 590 / 686
» Modelling the Operational Semantics of Domain-Specific Model...
Sort
View
JSW
2007
125views more  JSW 2007»
13 years 10 months ago
Description and Composition of E-Learning Services
— In this paper, we present our approach to describe and compose services for distant learning and research activities. For this purpose, we propose a metadata model for indexing...
Oussama Kassem Zein, Yvon Kermarrec
WEBDB
2010
Springer
224views Database» more  WEBDB 2010»
14 years 3 months ago
Concurrent One-Way Protocols in Around-the-Clock Social Networks
We introduce and study concurrent One-Way Protocols in social networks. The model is motivated by the rise of online social networks and the fast development of automation feature...
Royi Ronen, Oded Shmueli
LICS
1999
IEEE
14 years 2 months ago
Proving Security Protocols Correct
Security protocols use cryptography to set up private communication channels on an insecure network. Many protocols contain flaws, and because security goals are seldom specified ...
Lawrence C. Paulson
ICWS
2008
IEEE
13 years 11 months ago
QoS-Driven Selection of Web Services for Transactional Composition
Web services composition has been gaining interest over the last years as it leverages the capabilities to offer complex operations resulting from the aggregation of Web services ...
Joyce El Haddad, Maude Manouvrier, Guillermo Ramir...
DEEC
2005
IEEE
14 years 3 months ago
Practical Issues for Building a Product Ontology System
A base of clearly defined product information is a key foundation for an e-commerce system. The manipulation and exchange of semantically enriched and precise product information ...
Ig-hoon Lee, Suekyung Lee, Taehee Lee, Sang-goo Le...