Sciweavers

AIS
2004
Springer
13 years 11 months ago
Intelligent agents as innovations
This paper explores the treatment of intelligent agents as innovations. Past writings in the area of intelligent agents focus on the technical merits and internal workings of agent...
Alexander Serenko, Brian Detlor
AIS
2004
Springer
14 years 2 months ago
Timed I/O Test Sequences for Discrete Event Model Verification
Abstract. Model verification examines the correctness of a model implementation with respect to a model specification. While being described from model specification, implementatio...
Ki Jung Hong, Tag Gon Kim
AIS
2004
Springer
14 years 4 months ago
Continuity and Change (Activity) Are Fundamentally Related in DEVS Simulation of Continuous Systems
Abstract. The success of DEVS methods for simulating large continuous models calls for more in-depth examination of the applicability of discrete events in modeling continuous phen...
Bernard P. Zeigler, Rajanikanth Jammalamadaka, Sal...
AIS
2004
Springer
14 years 4 months ago
Proposal of High Level Architecture Extension
The paper proposes three dimensional extension to High Level ARchitecture (HLA) and Runtime Infrastructure (RTI) to solve several issues such as security, information hiding proble...
Jae-Hyun Kim, Tag Gon Kim
AIS
2004
Springer
14 years 4 months ago
Integrated Term Weighting, Visualization, and User Interface Development for Bioinformation Retrieval
This project implements an integrated biological information website that classifies technical documents, learns about users' interests, and offers intuitive interactive visua...
Min Hong, Anis Kairmpour-fard, Steve Russell, Lawr...
AIS
2004
Springer
14 years 4 months ago
Using Cell-DEVS for Modeling Complex Cell Spaces
Cell-DEVS is an extension to the DEVS formalism that allows the definition of cellular models. CD++ is a modeling and simulation tool that implements DEVS and Cell-DEVS formalisms....
Javier Ameghino, Gabriel A. Wainer