14190 search results - page 311 / 2838 » Abstractions for hybrid systems |
197
click to vote
BMCBI
2007
15 years 6 months ago
2007
Background: The progress in the "-omic" sciences has allowed a deeper knowledge on many biological systems with industrial interest. This knowledge is still rarely used ...
158
click to vote
CCS
2010
ACM
16 years 1 months ago
2010
ACM
Despite a plethora of recent research regarding trust management approaches to authorization, relatively little attention has been given to exactly how these technologies can be e...
178
click to vote
EDUTAINMENT
2007
Springer
16 years 28 days ago
2007
Springer
Interactive storytelling in the virtual environment attracts a lot of research interests in recent years. Story plot and character are two most important elements of a story. Based...
227
click to vote
CEC
2010
IEEE
15 years 1 months ago
2010
IEEE
High-throughput analytical techniques such as nuclear magnetic resonance, protein kinase phosphorylation, and mass spectroscopic methods generate time dense profiles of metabolites...
210
click to vote
HYBRID
1998
Springer
15 years 11 months ago
1998
Springer
We continue investigation of languages, accepted by timed automata of Alur and Dill. In [ACM97] timed regular expressions equivalent to timed automata were introduced. Here we intr...