Sciweavers

427 search results - page 17 / 86
» Framework for Goal Driven System Design
Sort
View
DATE
2004
IEEE
117views Hardware» more  DATE 2004»
13 years 11 months ago
Modeling and Validating Globally Asynchronous Design in Synchronous Frameworks
We lay a foundation for modeling and validation of asynchronous designs in a multi-clock synchronous programming model. This allows us to study properties of globally asynchronous...
Mohammad Reza Mousavi, Paul Le Guernic, Jean-Pierr...
IVA
2007
Springer
14 years 1 months ago
Proactive Authoring for Interactive Drama: An Author's Assistant
Interactive drama allows people to participate actively in a dynamically unfolding story, by playing a character or by exerting directorial control. One of the central challenges f...
Mei Si, Stacy Marsella, David V. Pynadath
DBPL
1989
Springer
120views Database» more  DBPL 1989»
13 years 11 months ago
A Framework for Comparing Type Systems for Database Programming Languages
Several proposals have been published in recent years for database programming languages (DBPLs), many of which have been object-oriented. Our goal in this paper is not to argue f...
Antonio Albano, Alan Dearle, Giorgio Ghelli, Chris...
IJAOSE
2008
97views more  IJAOSE 2008»
13 years 7 months ago
Formal driven prototyping approach for multiagent systems
: Even if Multiagent Systems (MASs) are recognised as an appealing paradigm for designing many computer systems ranging from complex distributed systems to intelligent software app...
Vincent Hilaire, Pablo Gruer, Abderrafiaa Koukam, ...
EMISA
2005
Springer
14 years 1 months ago
A Model-Driven Approach for the Rapid Development of E-Negotiation Systems
: Most of today’s e-marketplaces support a single negotiation protocol. The protocol is usually built into the e-marketplace infrastructure, therefore if a new one is introduced ...
Morad Benyoucef, Stefanie Rinderle