3161 search results - page 421 / 633 » Documenting framework behavior |
169
click to vote
ANTSW
2006
Springer
15 years 10 months ago
2006
Springer
It is often believed that the performance of ant system, and in general of ant colony optimization algorithms, depends somehow on the scale of the problem instance at hand. The iss...
171
click to vote
ATVA
2006
Springer
15 years 10 months ago
2006
Springer
In the past decades, many formal frameworks (e.g. timed automata and temporal logics) and techniques (e.g. model checking and theorem proving) have been proposed to model a real-ti...
145
click to vote
COMPSAC
2004
IEEE
15 years 10 months ago
2004
IEEE
: We concentrate on two major aspects of reactive system design: behavior control and modularity. These are studied from a formal point of view, within the framework of action syst...
172
click to vote
DOOD
1995
Springer
15 years 10 months ago
1995
Springer
Semantics represents a major problem area for active databases inasmuch as (i) there is l framework for defining the abstract semantics of active rules, and (ii) the various syst...
176
click to vote
HYBRID
1995
Springer
15 years 10 months ago
1995
Springer
This paper discusses fundamentals of hybrid system modelling. Emphazis is put on compositionality and the use of multiform time. Compositionality refers to the ability of freely co...