1154 search results - page 101 / 231 » Mathematizing C concurrency |
FM
2006
Springer
14 years 29 days ago
2006
Springer
Abstract. The key to the integration of formal methods into engineering practice is education. In teaching, domain-independent problems -i.e., not requiring prior engineering backg...
AINA
2010
IEEE
14 years 22 days ago
2010
IEEE
—Automated distributed sentry systems need only detect suspicious behavior. Microphones and infrared detectors may suffice, as well as being simpler and cheaper than cameras whil...
ASMTA
2008
Springer
13 years 11 months ago
2008
Springer
Ad hoc network routing protocols may fail to operate in the absence of an end-to-end connection from source to destination. This deficiency can be resolved by so-called delay-toler...
PEWASUN
2008
ACM
13 years 10 months ago
2008
ACM
Researches around wireless sensor network (WSN) were very prolific recently. However, traffic modeling related WSN research was poorly less. In this paper, source traffic dynamics...
IJBC
2008
13 years 9 months ago
2008
We consider three dimensional Turing patterns and their isoconcentration surfaces corresponding to the equilibrium concentration of the reaction kinetics. We call these surfaces eq...