1495 search results - page 185 / 299 » Modeling and controllability for a class of hybrid mechanica... |
REFLECTION
2001
Springer
14 years 1 months ago
2001
Springer
, are to address what we perceive as the most pressing shortcomings of current reflective middleware platforms. First, performance: in the worst case, this needs to be on a par wit...
MOVEP
2000
14 years 18 days ago
2000
Uppaal is a tool for modeling, simulation and verification of real-time systems, developed jointly by BRICS at Aalborg University and the Department of Computer Systems at Uppsala ...
ENVSOFT
2000
13 years 8 months ago
2000
A model is presented for the analysis of bioremediation applied to an ex situ soil pile. The approach is based on the remediation of a pile containing the contaminated soil, which...
MATA
2005
Springer
14 years 2 months ago
2005
Springer
Abstract. Mobile agent systems provide new perspectives for distributed e-commerce applications. These applications may present specific restrictions, making mobile agent systems ...
GECCO
2005
Springer
14 years 2 months ago
2005
Springer
Typical applications of evolutionary optimization in static environments involve the approximation of the extrema of functions. For dynamic environments, the interest is not to lo...