2996 search results - page 40 / 600 » Information Modeling in the Time of the Revolution |
95
Voted
SAC
2006
ACM
15 years 7 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...
129
click to vote
ICFEM
2010
Springer
15 years 11 days 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...
127
click to vote
ECRTS
2002
IEEE
15 years 6 months 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...
116
click to vote
CCS
2006
ACM
15 years 5 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...
118
click to vote
CEC
2009
IEEE
15 years 8 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...