11561 search results - page 1943 / 2313 » A Language for Biochemical Systems |
164
click to vote
FSEN
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. During the last years, timed automata have become a popular model for describing the behaviour of real-time systems. In particular, there has been much research on proble...
197
click to vote
INEX
2007
Springer
16 years 1 months ago
2007
Springer
CWI and University of Twente used PF/Tijah, a flexible XML retrieval system, to evaluate structured document retrieval, multimedia retrieval, and entity ranking tasks in the conte...
228
click to vote
KESAMSTA
2007
Springer
16 years 29 days ago
2007
Springer
This work proposes a framework for the design and development of Ontology Agents oriented to manage Rule Base Fuzzy Cognitive Maps (RBFCM). The approach takes into account the foun...
202
click to vote
LFCS
2007
Springer
16 years 29 days ago
2007
Springer
We present a general algorithm scheme for model checking logics of knowledge, common knowledge and linear time, based on simulations to a class of structures that capture the way t...
183
click to vote
MODELS
2007
Springer
16 years 29 days ago
2007
Springer
Aspect-Oriented Modeling (AOM) approaches propose to model reusable aspects, or cross-cutting concerns, that can be composed in different systems at a model or code level. Buildin...