253 search results - page 46 / 51 » Formal analysis of timed continuous Petri nets |
86
Voted
ICDM
2007
IEEE
15 years 6 months ago
2007
IEEE
Recent years have witnessed an increasing number of studies in stream mining, which aim at building an accurate model for continuously arriving data. Somehow most existing work ma...
129
click to vote
ICSE
2003
IEEE-ACM
15 years 4 months ago
2003
IEEE-ACM
Functional requirements contain, and systems exhibit, the behavior summarized below.Despite the advances in software engineering since 1968, how to go from a set of functional req...
MANSCI
2007
14 years 11 months ago
2007
We develop a formal model of the timing of resource development by competing …rms. Our aim is to deepen and extend resource-level theorizing about sustainable competitive advant...
ICCS
2004
Springer
15 years 5 months ago
2004
Springer
Abstract. Infinite contexts and their corresponding lattices are of theoretical and practical interest since they may offer connections with and insights from other mathematical ...
73
Voted
DAC
2003
ACM
16 years 19 days ago
2003
ACM
Verification of system designs continues to be a major challenge today. Simulation remains the primary tool for making sure that implementations perform as they should. We present...