3618 search results - page 437 / 724 » Additive functions for number systems in function fields |
187
click to vote
FORMATS
2006
Springer
15 years 10 months ago
2006
Springer
In this paper, we consider a novel approach to the temporal logic verification problem of continuous dynamical systems. Our methodology has the distinctive feature that enables the...
160
click to vote
GPEM
2007
15 years 6 months ago
2007
In this paper, we investigate the employment of evolutionary algorithms as a search mechanism in a decision support system for designing chemotherapy schedules. Chemotherapy invol...
156
click to vote
JAL
2008
15 years 6 months ago
2008
Biological systems are far more complex and robust than systems we can engineer today. One way to increase the complexity and robustness of our engineered systems is to study how ...
166
click to vote
APN
2005
Springer
16 years 6 days ago
2005
Springer
Current modeling techniques are not well equipped to design dynamic software architectures. In this work we present the basic concepts for a dynamic architecture modeling using net...
165
click to vote
EMSOFT
2004
Springer
16 years 1 days ago
2004
Springer
Embedded systems are electronic devices that function in the context of a real environment, by sensing and reacting to a set of stimuli. Because of their close interaction with th...