11561 search results - page 332 / 2313 » A Language for Biochemical Systems |
165
click to vote
HICSS
1999
IEEE
15 years 11 months ago
1999
IEEE
Interoperability is a central issue for both the mobile agents community and the wider agents community. Unfortunately, the interoperability concerns are different between the two...
175
click to vote
SAS
1999
Springer
15 years 11 months ago
1999
Springer
We define an operational semantics for the Signal language and design an analysis which allows to verify properties pertaining to the relation between values of the numeric and bo...
162
click to vote
SIGMOD
1989
ACM
15 years 10 months ago
1989
ACM
ODE is a database system and environment based on the object paradigm. It offers one integrated data model for both database and general purpose manipulation. The database is defi...
199
click to vote
FMICS
2009
Springer
15 years 10 months ago
2009
Springer
In this paper we show how Rate Transition Systems (RTSs) can be used as a unifying framework for the definition of the semantics of stochastic process algebras. RTSs facilitate the...
174
click to vote
FOSSACS
2000
Springer
15 years 10 months ago
2000
Springer
We relate several models of concurrency introduced in the literature in order to extend classical Mazurkiewicz traces. These are mainly Droste's concurrent automata and Arnold...