Sciweavers

4286 search results - page 300 / 858
» Formalizing Service Interactions
Sort
View
FIW
2000
114views Communications» more  FIW 2000»
15 years 8 months ago
Feature Interaction in Internet Telephony
While Internet telephony aims to provide services at least equal to traditional telephony, the architecture of Internet telephony is sufficiently different to make it necessary to ...
Jonathan Lennox, Henning Schulzrinne
WWW
2010
ACM
15 years 4 months ago
Building a Usable and Accessible Semantic Web Interaction Platform
Semantic Web applications take off is being slower than expected, at least with respect to “real-world” applications and users. One of the main reasons for this lack of adoptio...
Roberto García, Juan Manuel Gimeno, Ferran ...
ISOLA
2010
Springer
15 years 4 months ago
Semantically-Guided Workflow Construction in Taverna: The SADI and BioMoby Plug-Ins
In the Taverna workflow design and enactment tool, users often find it difficult to both manually discover a service or workflow fragment that executes a desired operation on a pie...
David Withers, Edward A. Kawas, E. Luke McCarthy, ...
IFM
2009
Springer
155views Formal Methods» more  IFM 2009»
15 years 4 months ago
Application of Graph Transformation in Verification of Dynamic Systems
Abstract. A communication system evolves dynamically with the addition and deletion of services. In our previous work [12], a graph transformation system (GTS) was used to model th...
Zarrin Langari, Richard J. Trefler
WWW
2006
ACM
16 years 7 months ago
DemIL: an online interaction language between citizen and government
Electronic democracy should provide information and service for the citizens on the Internet, allowing room for debate, participation and electronic voting. The languages being ad...
Cristiano Maciel, Ana Cristina Bicharra Garcia