3729 search results - page 386 / 746 » On Formal Modeling of Agent Computations |
180
click to vote
AINA
2007
IEEE
16 years 1 months ago
2007
IEEE
Mobile environments are characterized by resource fluctuations and limitations, and variations in user preferences. Therefore mobile applications need to be adaptive to retain us...
179
click to vote
IPPS
2003
IEEE
16 years 2 days ago
2003
IEEE
Jackal is a fine-grained distributed shared memory implementation of the Java programming language. It aims to implement Java’s memory model and allows multithreaded Java progr...
195
click to vote
DSVIS
1997
Springer
15 years 11 months ago
1997
Springer
Much of the work reported in the first three DSVIS conferences has concentrated on techniques and languages for specifying and developing interactive systems. In this paper, we ar...
197
click to vote
ICCS
2009
Springer
15 years 4 months ago
2009
Springer
We present a continuous time/discrete space model of biofilm growth, starting from the semi-discrete master equation. The probabilities of biomass movement into neighboring sites d...
190
Voted
RTCSA
2008
IEEE
16 years 1 months ago
2008
IEEE
COMDES-II is a component-based software framework intended for Model Integrated Computing (MIC) of embedded control systems with hard real-time constraints. We present a transforma...