1980 search results - page 354 / 396 » Compositional Model Checking of Real Time Systems |
ASAP
2005
IEEE
14 years 2 months ago
2005
IEEE
In this paper we introduce a design methodology that allows the system/circuit designer to build reliable systems out of unreliable nano-scale components. The central point of our...
ICDE
2012
IEEE
11 years 11 months ago
2012
IEEE
Abstract— Recently, lots of micro-blog message sharing applications have emerged on the web. Users can publish short messages freely and get notified by the subscriptions instan...
DBPL
2001
Springer
14 years 1 months ago
2001
Springer
Commercial OLAP systems usually treat OLAP dimensions as static entities. In practice, dimension updates are often necessary in order to adapt the multidimensional database to chan...
WSC
2007
13 years 11 months ago
2007
The need for interoperability of information systems among supply chain partners has been recognized. A number of standards have been or are being developed to ensure interoperabi...
ICDM
2010
IEEE
13 years 7 months ago
2010
IEEE
An important problem that arises during the data mining process in many new emerging application domains is mining data with temporal dependencies. One such application domain is a...