932 search results - page 75 / 187 » Verifying Progress in Timed Systems |
149
click to vote
SIAMSC
2008
15 years 3 months ago
2008
Abstract. A model for the flow of calcium in an atrial heart cell is given by a system of timedependent reaction-diffusion equations coupled by non-linear reaction terms. Calcium i...
120
click to vote
ECAI
2006
Springer
15 years 7 months ago
2006
Springer
In this paper, we show how to establish correctness and time bounds (e.g., quality of service guarantees) for multi-agent systems composed of communicating rule-based agents. The f...
105
click to vote
MHCI
2004
Springer
15 years 9 months ago
2004
Springer
This paper describes a study of the use of multimedia networked location-aware mobile computers to support team-based survey-oriented fieldwork. Existing systems do not provide ful...
140
click to vote
INFOCOM
1994
IEEE
15 years 8 months ago
1994
IEEE
A n eficient fair queueing scheme which is feasible for broadband implementation is proposed and its performance is analyzed. We define fairness in a selfcontained manner, elimina...
126
Voted
PAA
2008
15 years 3 months ago
2008
Artificial immune system (AIS)-based pattern classification approach is relatively new in the field of pattern recognition. The study explores the potentiality of this paradigm in ...