Sciweavers

1249 search results - page 117 / 250
» State Machine Modeling: From Synch States to Synchronized St...
Sort
View
HICSS
2006
IEEE
144views Biometrics» more  HICSS 2006»
16 years 13 days ago
The Choreography Model for IRS-III
This paper describes how we manage the interaction between different heterogeneous web services through choreographies within IRS-III. IRS-III is a framework and platform for deve...
John Domingue, Stefania Galizia, Liliana Cabral
WWW
2005
ACM
16 years 7 months ago
On business activity modeling using grammars
Web based applications offer a mainstream channel for businesses to manage their activities. We model such business activity in a grammar-based framework. The Backus Naur form not...
Savitha Srinivasan, Arnon Amir, Prasad Deshpande, ...
UML
2005
Springer
15 years 12 months ago
Specifying Precise Use Cases with Use Case Charts
Use cases are a popular method for capturing and structuring software requirements. The informality of use cases is both a blessing and a curse. It enables easy application and lea...
Jon Whittle
CAV
1998
Springer
138views Hardware» more  CAV 1998»
15 years 10 months ago
Model Checking for a First-Order Temporal Logic Using Multiway Decision Graphs
bstract description of state machines (ASMs), in which data and data operations are d using abstract sort and uninterpreted function symbols. ASMs are suitable for describing Regis...
Ying Xu, Eduard Cerny, Xiaoyu Song, Francisco Core...
ALIFE
2000
15 years 6 months ago
Talking Helps: Evolving Communicating Agents for the Predator-Prey Pursuit Problem
We analyze a general model of multi-agent communication in which all agents communicate simultaneously to a message board. A genetic algorithm is used to evolve multi-agent languag...
Kam-Chuen Jim, C. Lee Giles