Sciweavers

233 search results - page 12 / 47
» Equivalent Transformations of Automata by Using Behavioural ...
Sort
View
ACRI
2000
Springer
13 years 12 months ago
A Multi-Agent Cellular Automata System for Visualising Simulated Pedestrian Activity
This paper describes the first impressions of the development of a multi-agent system that can be used for visualising simulated pedestrian activity and behaviour to support the a...
J. Dijkstra, Harry J. P. Timmermans, J. Jessurun
ICDIM
2008
IEEE
14 years 2 months ago
A model driven approach to the design and implementing of fault tolerant Service oriented Architectures
One of the key stages of the development of a fault tolerant Service oriented Architecture is the creation of Diagnosers, which monitors the system’s behaviour to identify the o...
Mohammed Alodib, Behzad Bordbar, Basim Majeed
BIRTHDAY
2008
Springer
13 years 9 months ago
History Dependent Automata for Service Compatibility
We use History Dependent Automata (HD-automata) as a syntax-indepentend formalism to check compatibility of services at binding time in Service-Oriented Computing. Informally speak...
Vincenzo Ciancia, Gian Luigi Ferrari, Marco Pistor...
NAACL
2003
13 years 9 months ago
Syntax-based Alignment of Multiple Translations: Extracting Paraphrases and Generating New Sentences
We describe a syntax-based algorithm that automatically builds Finite State Automata (word lattices) from semantically equivalent translation sets. These FSAs are good representat...
Bo Pang, Kevin Knight, Daniel Marcu
BPM
2007
Springer
152views Business» more  BPM 2007»
14 years 1 months ago
Towards Dynamic Matching of Business-Level Protocols in Adaptive Service Compositions
In a service composition, it is necessary to ensure that the behaviour of a constituent service is consistent with the requirements of the composition. In an adaptive service compo...
Alan W. Colman, Linh Duy Pham, Jun Han, Jean-Guy S...