10159 search results - page 1628 / 2032 » System Design Validation Using Formal Models |
153
click to vote
CIBCB
2005
IEEE
15 years 8 months ago
2005
IEEE
—Metabolic pathways are crucial to our understanding of biology. The speed at which new organisms are being sequenced is outstripping our ability to experimentally determine thei...
175
click to vote
ATAL
2010
Springer
15 years 8 months ago
2010
Springer
In this paper we study, for the first time explicitly, the implications of endowing an interested party (i.e. a teacher) with the ability to modify the underlying dynamics of the ...
164
click to vote
COMPUTING
2006
15 years 6 months ago
2006
The idea of containment sets (csets) is due to Walster and Hansen, and the theory is mainly due to the first author. Now that floating point computation with infinities is widely a...
203
click to vote
IJON
2008
15 years 5 months ago
2008
This article depicts the approach used to build the Topos application, a simulation of two-wheel robots able to discern real complex sounds. Topos is framed in the nouvelle concep...
224
Voted
EDBT
2009
ACM
15 years 4 months ago
2009
ACM
In this work, we focus on managing scientific environmental data, which are measurement readings collected from wireless sensors. In environmental science applications, raw sensor...