421 search results - page 18 / 85 » CSL |
CSL
2011
Springer
13 years 3 months ago
2011
Springer
CSL
2012
Springer
12 years 4 months ago
2012
Springer
RTAS
2009
IEEE
14 years 3 months ago
2009
IEEE
—The Collaborative Sensing Language (CSL) is a high-level feedback control language for mobile sensor networks (MSN). It specifies MSN controllers to accomplish network objectiv...
FORMATS
2007
Springer
14 years 10 days ago
2007
Springer
Jackson queueing networks (JQNs) are a very general class of queueing networks that find their application in a variety of settings. The state space of the continuous-time Markov c...
ENTCS
2008
13 years 8 months ago
2008
The verification of quantitative aspects like performance and dependability by means of model checking has become an important and vivid area of research over the past decade. An ...