2996 search results - page 40 / 600 » Information Modeling in the Time of the Revolution |
SAC
2006
ACM
14 years 1 months ago
2006
ACM
Most previous work on information flow in process algebras has been based on untimed models of concurrency. It is obvious, however, that an observer might well use time to gain i...
ICFEM
2010
Springer
13 years 6 months ago
2010
Springer
Abstract. The success of industrial-scale model checkers such as Uppaal [3] or NuSMV [12] relies on the efficiency of their respective symbolic state space representations. While d...
ECRTS
2002
IEEE
14 years 18 days ago
2002
IEEE
In today’s technical world (e.g., in the automotive industry), more and more purely mechanical components get replaced by electro-mechanical ones. Thus the size and complexity o...
CCS
2006
ACM
13 years 11 months ago
2006
ACM
Intrusion detection systems create large amounts of alerts. Significant part of these alerts can be seen as background noise of an operational information system, and its quantity...
CEC
2009
IEEE
14 years 2 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...