Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Artigo
|
A calculus of durationsChaochen, Zhou ; Hoare, C.A.R. ; Ravn, Anders P.Information processing letters, 1991-12, Vol.40 (5), p.269-276 [Periódico revisado por pares]Amsterdam: Elsevier B.VTexto completo disponível |
|
2 |
Material Type: Artigo
|
Multiprocessor on-line scheduling of hard-real-time tasksDERTOUZOS, M. L ; MOK, A. K.-LIEEE transactions on software engineering, 1989-12, Vol.15 (12), p.1497-1506 [Periódico revisado por pares]New York, NY: Institute of Electrical and Electronics EngineersTexto completo disponível |
|
3 |
Material Type: Artigo
|
An Intrusion-Detection ModelDenning, D.E.IEEE transactions on software engineering, 1987-02, Vol.SE-13 (2), p.222-232 [Periódico revisado por pares]New York, NY: IEEETexto completo disponível |
|
4 |
Material Type: Artigo
|
Scheduling processes with release times, deadlines, precedence and exclusion relationsXu, J. ; Parnas, D.L.IEEE transactions on software engineering, 1990-03, Vol.16 (3), p.360-369 [Periódico revisado por pares]New York, NY: IEEETexto completo disponível |
|
5 |
Material Type: Artigo
|
Safety analysis of timing properties in real-time systemsJahanian, F. ; Mok, A. K.IEEE transactions on software engineering, 1986-09, Vol.SE-12 (9), p.890-904 [Periódico revisado por pares]New York, NY: IEEETexto completo disponível |
|
6 |
Material Type: Artigo
|
Compiling real-time specifications into extended automataNicollin, X. ; Sifakis, J. ; Yovine, S.IEEE transactions on software engineering, 1992-09, Vol.18 (9), p.794-804 [Periódico revisado por pares]LOS ALAMITOS: IEEETexto completo disponível |
|
7 |
Material Type: Artigo
|
Real-time pricing of reactive power: theory and case study resultsBaughman, M.L. ; Siddiqi, S.N.IEEE transactions on power systems, 1991-02, Vol.6 (1), p.23-29 [Periódico revisado por pares]United States: IEEETexto completo disponível |
|
8 |
Material Type: Artigo
|
A unified high-level Petri net formalism for time-critical systemsGhezzi, C. ; Mandrioli, D. ; Morasca, S. ; Pezze, M.IEEE transactions on software engineering, 1991-02, Vol.17 (2), p.160-172 [Periódico revisado por pares]New York, NY: IEEETexto completo disponível |
|
9 |
Material Type: Artigo
|
Communicating real-time state machinesShaw, A.C.IEEE transactions on software engineering, 1992-09, Vol.18 (9), p.805-816 [Periódico revisado por pares]LOS ALAMITOS: IEEETexto completo disponível |
|
10 |
Material Type: Artigo
|
Some Results of the Earliest Deadline Scheduling AlgorithmChetto, H. ; Chetto, M.IEEE transactions on software engineering, 1989-10, Vol.15 (10), p.1261-1269 [Periódico revisado por pares]New York: IEEETexto completo disponível |