Sciweavers

913 search results - page 29 / 183
» Formal Agent Development: Framework to System
Sort
View
PAKM
2000
15 years 3 months ago
Knowledge Management and New Product Development: Learning from a Software Development Firm
The core of the new product development [NPD] process centers on knowledge creation, utilization and the management of knowledge. This manuscript uses a software firm case to esta...
Abraham B. Shani, James A. Sena
IVEVA
2004
15 years 3 months ago
Development of an API to Create Interactive Storytelling Systems
Abstract. Interactive storytelling (IS) is an incipient field that has not been completely formalized yet. There is still a significant amount of research to be done. Especially re...
Enrique Larios, Jesus Savage, José Larios, ...
JUCS
2002
146views more  JUCS 2002»
15 years 1 months ago
A Framework for Semantics of UML Sequence Diagrams in PVS
: This paper presents a framework for representing formal semantics of a subset of the Unified Modeling Language (UML) notation in a higher-order logic, more specifically semantics...
Demissie B. Aredo
P2P
2002
IEEE
114views Communications» more  P2P 2002»
15 years 6 months ago
Integrating Peer-to-Peer Networking and Computing in the AgentScape Framework
The combination of peer-to-peer networking and agentbased computing seems to be a perfect match. Agents are cooperative and communication oriented, while peerto-peer networks typi...
Benno J. Overeinder, Etienne Posthumus, Frances M....
PROMAS
2004
Springer
15 years 7 months ago
Goal Representation for BDI Agent Systems
Abstract. Agent-oriented system development aims to simplify the conn of complex systems by introducing a natural abstraction layer on top of the object-oriented paradigm composed ...
Lars Braubach, Alexander Pokahr, Daniel Moldt, Win...