2147 search results - page 200 / 430 » Natural Phenomena Simulation |
139
click to vote
CONTEXT
2005
Springer
15 years 11 months ago
2005
Springer
In light of recent attempts to design context-aware mobile phones, this paper contributes by providing findings from a study of mobile phone talk in context. We argue the benefits ...
164
click to vote
AIS
2004
Springer
15 years 10 months ago
2004
Springer
Cell-DEVS is an extension to the DEVS formalism that allows the definition of cellular models. CD++ is a modeling and simulation tool that implements DEVS and Cell-DEVS formalisms....
134
click to vote
BIOADIT
2004
Springer
15 years 10 months ago
2004
Springer
We present two ways in which dynamic self-assembly can be used to perform computation, via stochastic protein networks and self-assembling software. We describe our protein-emulati...
125
click to vote
HYBRID
2004
Springer
15 years 10 months ago
2004
Springer
This paper presents a new solution approach to the optimal control problem of fixed frequency switch-mode DC-DC converters using hybrid systems methodologies. In particular, the n...
127
click to vote
CAV
2003
Springer
15 years 10 months ago
2003
Springer
We consider the problem of reasoning with linear temporal logic on truncated paths. A truncated path is a path that is finite, but not necessarily maximal. Truncated paths arise n...