9067 search results - page 756 / 1814 » Adaptive Model Checking |
215
click to vote
AINA
2009
IEEE
16 years 21 days ago
2009
IEEE
The Business Process Execution Language for Web Services (BPEL4WS) is the de facto standard for the composition of web services into complex, valued-added workflows in both indus...
217
click to vote
ISCAS
2002
IEEE
16 years 15 days ago
2002
IEEE
—Network aware multimedia delivery applications are a class of applications that provide certain level of quality of service (QoS) guarantees to end users while not assuming unde...
222
click to vote
MDM
2009
Springer
16 years 4 days ago
2009
Springer
Context-awareness has become a desired key feature of today’s mobile systems, yet, its realization still remains a challenge. On the one hand, mobile computing provides great po...
233
click to vote
IWQOS
2001
Springer
16 years 22 hour ago
2001
Springer
Ad-hoc wireless networks consist of mobile nodes interconnected by multi-hop wireless paths. Unlike conventional wireless networks, ad-hoc networks have no fixed network infrastru...
192
click to vote
IJCNN
2000
IEEE
15 years 12 months ago
2000
IEEE
A two-neural network approach to solving nonlinear optimal control problems is described in this study. This approach called the adaptive critic method consists of one neural netw...