313 search results - page 6 / 63 » Building Models through Formal Specification |
GECCO
2005
Springer
14 years 1 months ago
2005
Springer
Mapping biology into computation has both a domain specific aspect – biological theory – and a methodological aspect – model development. Computational modelers have implici...
AIME
2009
Springer
13 years 11 months ago
2009
Springer
Abstract. Clinical guidelines (GLs) play an important role to standardize and organize clinical processes according to evidence-based medicine. Several computer-based GL representa...
CONTEXT
1999
Springer
13 years 11 months ago
1999
Springer
This paper presents the outline of a formal ontology of contexts. More specifically, it deals with the ontology of ecological contexts (niches, habitats, environments, ambients) an...
FM
2009
Springer
13 years 5 months ago
2009
Springer
Abstract. This paper presents a Rewriting Logic framework that formalizes the interactions between Web servers and Web browsers through icating protocol abstracting HTTP. The propo...
IJCSA
2006
13 years 7 months ago
2006
This paper presents a formal approach based on Time Petri net (TPN) for the coherence control of SMIL documents. TPN model has been widely used to specify real time systems. The q...