Sciweavers

3973 search results - page 54 / 795
» Complex adaptation and system structure
Sort
View
ICST
2008
IEEE
14 years 3 months ago
Verifying and Analyzing Adaptive Logic through UML State Models
It is becoming increasingly important to be able to adapt an application’s behavior at run time in response to changing requirements and environmental conditions. Adaptive progr...
Andres J. Ramirez, Betty H. C. Cheng
APAL
2006
112views more  APAL 2006»
13 years 9 months ago
On complexity of verification of interacting agents' behavior
This paper studies the complexity of behavior of multi-agent systems. Behavior properties are formulated using classical temporal logic languages and are checked with respect to t...
Michael I. Dekhtyar, Alexander Ja. Dikovsky, Mars ...
VTC
2007
IEEE
14 years 3 months ago
Adaptive Conjugate Gradient DFEs for Wideband MIMO Systems Using Galerkin Projections
— Three new adaptive equalization algorithms for wireless systems operating over frequency selective MIMO channels are proposed. The problem of the MIMO DFE design is formulated ...
Vassilis Kekatos, Aris S. Lalos, Kostas Berberidis
AH
2008
Springer
14 years 3 months ago
Guaranteeing the Correctness of an Adaptive Tutoring System
Abstract. This paper presents an approach to create adaptive web-based educative systems that can be automatically audited by means of standard web testing tools. The auditing tool...
Pilar Prieto Linillos, Sergio Gutiérrez San...
COMPSAC
2007
IEEE
14 years 3 months ago
An Approach to Adaptive Distributed Execution Monitoring for Workflows in Service-based Systems
Systems based on Service-Oriented Architecture are called service-based systems (SBS), and comprise of computing services offered by various organizations. Users of SBS often requ...
Stephen S. Yau, Dazhi Huang, Luping Zhu