Sciweavers

3514 search results - page 129 / 703
» Evolving Specification Engineering
Sort
View
DAC
2004
ACM
14 years 9 months ago
The best of both worlds: the efficient asynchronous implementation of synchronous specifications
The desynchronization approach combines a traditional synchronous specification style with a robust asynchronous implementation model. The main contribution of this paper is the d...
Abhijit Davare, Kelvin Lwin, Alex Kondratyev, Albe...
WWW
2009
ACM
14 years 8 months ago
Semantic wiki aided business process specification
This paper formulates a collaborative system for modeling business application. The system uses a Semantic Wiki to enable collaboration between the various stakeholders involved i...
Toufeeq Hussain, Rajesh Balakrishnan, Amar Viswana...
SERP
2004
13 years 9 months ago
Software Specification of MERTIS: Modifiable Extensible Real-Time Interactive Simulation System
Game and simulation development is a difficult process because there are many low level infrastructure concerns that need to be addressed. This is a barrier to development for ine...
Frederick C. Harris Jr., Leandro Basallo, Ryan E. ...
CIIA
2009
13 years 9 months ago
Towards WSMO Ontology Specification From Existing Web Services
Semantic Web Services (SWSs) aim to improve the possibilities for automated discovery, composition and invocation of Web Services by providing ontology-based service descriptions e...
Houda El Bouhissi, Mimoun Malki, Djelloul Bouchiha
ENTCS
2010
75views more  ENTCS 2010»
13 years 8 months ago
Semi-Automatic Specification of Behavioural Service Adaptation Contracts
An adaptation contract describes composition constraints and adaptation requirements among several services which were not initially built to interoperate with each other. The man...
Javier Cámara, José Antonio Mart&iac...