14360 search results - page 500 / 2872 » Time Modeling in MARTE |
197
Voted
IJCSA
2006
15 years 7 months ago
2006
This paper presents a formal approach based on Time Petri net (TPN) for the coherence control of SMIL documents. TPN model has been widely used to specify real time systems. The q...
214
click to vote
INFORMATICALT
1998
15 years 7 months ago
1998
Principles of the framework called time series forecasting automation are presented. It is required in processing massive temporal data sets and creating completely user-oriented f...
202
Voted
HICSS
2002
IEEE
16 years 13 days ago
2002
IEEE
For many companies, the strategic as well as the organizational fit of their information systems is a pivotal factor for staying competitive. At the same time, there is an increas...
227
Voted
COMPSEC
2010
15 years 7 months ago
2010
Model checking security protocols is based on an intruder model that represents the eavesdropping or interception of the exchanged messages, while at the same time performs attack...
184
click to vote
DAGSTUHL
2006
15 years 8 months ago
2006
Programming technologies have improved continuously during the last decades, but from an Information Systems perspective, some well-known problems associated to the design and impl...