1796 search results - page 162 / 360 » An Approach to Compositional Model Checking |
SIGIR
2009
ACM
14 years 5 months ago
2009
ACM
With the continuing advances in data storage and communication technology, there has been an explosive growth of music information from different application domains. As an effe...
ASPDAC
2001
ACM
14 years 2 months ago
2001
ACM
Abstract-- Image computation is the core operation for optimization and formal verification of sequential systems like controllers or protocols. State exploration techniques based ...
TASE
2008
IEEE
14 years 5 months ago
2008
IEEE
Abstract Web services choreography describes global models of service interactions among a set of participants. For an interaction to be executed, the participants taken part in it...
RCC
2000
13 years 10 months ago
2000
Large-scale distributed hypermedia systems comprise a generation of powerful tools to meet the demands of the new information globalization era. The most promising of such systems...
CEC
2009
IEEE
14 years 5 months ago
2009
IEEE
— The paper proposes a hypernetwork-based method for stock market prediction through a binary time series problem. Hypernetworks are a random hypergraph structure of higher-order...