4890 search results - page 282 / 978 » From system specifications to component behavioral models |
175
click to vote
PE
2000
Springer
15 years 6 months ago
2000
Springer
Stochastic process algebras have been proposed as compositional specification formalisms for performance models. In this paper, we describe a tool which aims at realising all bene...
160
click to vote
IFIP
1994
Springer
15 years 11 months ago
1994
Springer
Health care is a complex and transnational task of societies. The various institutions and individuals involved are not and should not be governed by one central authority, but ha...
175
click to vote
EACL
2006
ACL Anthology
15 years 8 months ago
2006
ACL Anthology
GOD (General Ontology Discovery) is an unsupervised system to extract semantic relations among domain specific entities and concepts from texts. Operationally, it acts as a search...
156
click to vote
RTSS
1998
IEEE
15 years 11 months ago
1998
IEEE
: The Time-Triggered (TT) model of computation is a model for the representation and analysis of the design of large hard real-time systems. Central to this model is the concept of...
196
click to vote
VRML
2004
ACM
16 years 5 days ago
2004
ACM
Increasingly, biology researchers and medical practitioners are using computational tools to model and analyze dynamic systems across scales from the macro to the cellular to the ...