Sciweavers

10435 search results - page 1769 / 2087
» Computational Biology and Language
Sort
View
PRIMA
2007
Springer
16 years 28 days ago
An Agent Modeling Method Based on Scenario Rehearsal for Multiagent Simulation
Multiagent Systems are potential computational systems for various practical applications, tools, and so on. Multiagent simulation is one of the remarkable application to evaluate ...
Shohei Yamane, Toru Ishida
SOFSEM
2007
Springer
16 years 28 days ago
Improved Processing of Textual Use Cases: Deriving Behavior Specifications
The requirements for a system are often specified as textual use cases. Although they are written in natural language, the simple and uniform sentence structure used makes automate...
Jaroslav Drazan, Vladimir Mencl
SPIN
2007
Springer
16 years 28 days ago
Model Extraction for ARINC 653 Based Avionics Software
One of the most exciting and promising approaches to ensure the correctness of critical systems is software model checking, which considers real code, written with standard program...
Pedro de la Cámara, María-del-Mar Ga...
UIC
2007
Springer
16 years 28 days ago
Persistent Storage System for Efficient Management of OWL Web Ontology
This paper proposes a new persistent storage to efficiently manage OWL Web ontologies. The Semantic Web is recognized as a next direction for progress of the current Web. To realiz...
Dongwon Jeong, Myounghoi Choi, Yang-Seung Jeon, Yo...
WSFM
2007
Springer
16 years 28 days ago
Event Structure Semantics of Orc
Developing wide-area distributed applications requires jointly analyzing functional and Quality of Service (QoS) aspects, such as timing properties. Labelled transition systems and...
Sidney Rosario, David Kitchin, Albert Benveniste, ...
« Prev « First page 1769 / 2087 Last » Next »