13913 search results - page 2680 / 2783 » models 2007 |
CIE
2007
Springer
14 years 2 months ago
2007
Springer
We study computer virology from an abstract point of view. Viruses and worms are self-replicating programs, whose constructions are essentially based on Kleene's second recurs...
ECOWS
2007
Springer
14 years 2 months ago
2007
Springer
Web services are self-contained, modular units of application logic which provide business functionality to other applications via Internet connections. Several models have been u...
ECSQARU
2007
Springer
14 years 2 months ago
2007
Springer
Many merging operators have been proposed to merge either flat or stratified knowledge bases. The result of merging by such an operator is a flat base (or a set of models of the me...
EMSOFT
2007
Springer
14 years 2 months ago
2007
Springer
The soundness of device drivers generally cannot be verified in isolation, but has to take into account the reactions of the hardware devices. In critical embedded systems, interf...
ER
2007
Springer
14 years 2 months ago
2007
Springer
The Selfish-brain theory has created the theoretical basis for the systemic analysis of the energy metabolism in terms of a supply chain. The energy in form of glucose equivalents...