117 search results - page 19 / 24 » Accurate Centralization for Applying Model Checking on Netwo... |
137
Voted
BMCBI
2006
15 years 4 months ago
2006
Background:Receptors and scaffold proteins possess a number of distinct domains and bind multiple partners. A common problem in modeling signaling systems arises from a combinator...
142
Voted
HT
2004
ACM
15 years 10 months ago
2004
ACM
In this paper, we describe Chrysant, a hypertext version control system for embedded link models. Chrysant provides generalpurpose versioning capability to hypertext systems with ...
161
click to vote
MSWIM
2006
ACM
15 years 10 months ago
2006
ACM
As mobile devices, such as laptops, PDAs or mobile phones, are getting more and more ubiquitous and are able to communicate with each other via wireless technologies, the paradigm...
189
click to vote
RTSS
2007
IEEE
15 years 10 months ago
2007
IEEE
Recent technological advances have opened up several distributed real-time applications involving battery-driven embedded devices with local processing and wireless communication ...
258
click to vote
EDM
2009
15 years 2 months ago
2009
Traditional data mining techniques have been extensively applied to find interesting patterns, build descriptive and predictive models from large volumes of data accumulated throug...