7557 search results - page 654 / 1512 » Modeling Timed Concurrent Systems |
224
click to vote
ICLP
2004
Springer
16 years 17 days ago
2004
Springer
A component is the basic re-usable unit of composition to build composite systems by connecting to others through their provided and required ports. Checking the functional complia...
245
click to vote
CEC
2010
IEEE
15 years 2 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...
207
click to vote
INFOCOM
2007
IEEE
16 years 1 months ago
2007
IEEE
— Recently, research on disconnected networks has been fostered by several studies on delay-tolerant networks, which are designed in order to sustain disconnected operations. We ...
199
click to vote
MM
2003
ACM
16 years 13 days ago
2003
ACM
Several time series matching techniques have been proposed for content-based music retrieval. These techniques represent a melody by a time series of pitch values and use time war...
197
click to vote
JSS
2006
15 years 7 months ago
2006
This paper describes an approach to the feature location problem for distributed systems, that is, to the problem of locating which code components are important in providing a pa...