9067 search results - page 254 / 1814 » Adaptive Model Checking |
168
click to vote
ATVA
2008
Springer
15 years 8 months ago
2008
Springer
1 : Logic in Specification and Verification (abstract) Natarajan Shankar (SRI) Session Chair : Sungdeok Cha 12 : 00 13 : 00 Lunch 13 : 00 15 : 00 2 : Boolean Modeling of Cell Biolo...
166
click to vote
GLOBECOM
2007
IEEE
16 years 28 days ago
2007
IEEE
— A ‘queued-code’ is a novel code which allows for instantaneous rate adaptation, to match the current channel state information (CSI), assumed known to the transmitter. Prev...
155
click to vote
IJIIDS
2011
14 years 10 months ago
2011
The environments in which agents are used often may be described by dynamical models, for example in the form of a set of differential equations. In this paper an agent model is pr...
181
click to vote
ACIIDS
2010
IEEE
15 years 4 months ago
2010
IEEE
The environments in which ambient agents are used often may be described by dynamical models, for example in the form of a set of differential equations. In this paper an ambient a...
148
click to vote
BPM
2007
Springer
16 years 23 days ago
2007
Springer
Reference Models comprise information on best or common practices for reuse. However, they commonly originate from individual projects. Yet, project models are usually situational ...