5 research outputs found
The derivation of performance expressions for communication protocols from timed Petri net models
- Author
- Publication venue
- eScholarship, University of California
- Publication date
- 31/10/1983
- Field of study
Petri Net models have been extended in a variety of ways and have been used to prove the correctness and evaluate the performance of communication protocols. Several extensions have been proposed to model time. This work uses a form of Timed Petri Nets and presents a technique for symbolically deriving expressions which describe system performance. Unlike past work on performance evaluation of Petri Nets which assumes a priori knowledge of specific time delays, the technique presented here applies to a wide range of time delays so long as the delays satisfy a set of timing constraints. The technique is demonstrated using a simple communication protocol
Formal Analysis of Real-Time Systems with SAM
- Author
- Publication venue
- 'Springer Science and Business Media LLC'
- Publication date
- Field of study
The derivation of performance expressions for communication protocols from timed petri net models
- Author
- Publication venue
- 'Association for Computing Machinery (ACM)'
- Publication date
- Field of study
Changing practices for a global society: voices of students, teachers, principals and university teacher educators on active learning
- Author
- Bennett J.
- Brooks J.
- Brophy J.E.
- Bruner J. S.
- Callan J.
- Callan J.
- Cohen E.
- Conway P.
- Coolahan J.
- Crooks T.
- Denscombe M.
- Devine D.
- Dewey J.
- Drudy S.
- Fullan M.
- Gagne R.
- Gleeson J.
- Gleeson J.
- Gleeson J.
- Good T.L.
- Hammersley M.
- Hargreaves A.
- Johnson D.
- Johnson D.
- Joyce B.
- Kirk T.
- Kohn A.
- Kyriacou C.
- LeFrancois G. R.
- Lewin K.
- Looney A.
- Lynch K.
- Miles M.
- Moore A.
- Muijs D.
- Murphy M.
- Piaget J
- Rosenholz S.
- Sarason S.
- Silverman D.
- Skillbeck M.
- Slavin R. E.
- Stenhouse L.
- Stoll L.
- Strauss A.
- Trant A.
- Ursula McMorrow
- Vygotsky L. S.
- Publication venue
- 'Informa UK Limited'
- Publication date
- Field of study
Infant mental health: an emerging field for children with developmental disabilities
- Author
- A. Bagdi J. Vacca
- A. De Los Reyes A.E. Kazdin
- A.B. Gerard
- A.D. Burbach R.A. Fox, B.C. Nicholson
- A.E. Boyajian G.J. DuPaul, M.W. Handler, T.L. Eckert, K.E. McGoey
- A.E. Kazdin
- A.E. Kazdin
- A.E. Kazdin L. Holland, M. Crowley
- A.L. Benham
- A.M. Golly B. Stiller, H.M. Walker
- A.M. VanDerHeyden J.C. Witt, S. Gatti
- A.S. Carter
- A.S. Carter C. Little, M.J. Briggs-Gowan, N. Kogan
- A.S. Carter M.J. Briggs-Gowan
- A.S. Carter M.J. Briggs-Gowan, N.O. Davis
- A.S. Carter M.J. Briggs-Gowan, S.M. Jones, T.D. Little
- B. Kaiser J.S. Rasminsky
- B.C. Nicholson M. Anderson, R.A. Fox, V. Brenner
- B.C. Nicholson P.C. Janz, R.A. Fox
- B.C. Nicholson R.A. Fox, S.D. Johnson
- B.C. Nicholson V. Brenner, R.A. Fox
- B.E. Werba S.W. Eyberg, S.R. Boggs, J. Algina
- B.J. Tonge
- B.L. Baker J. Blacher, K.A. Crnic, C. Edelbrock
- B.L. Baker L.L. McIntyre, J. Blacher, K. Crnic, C. Edelbrock, C. Low
- B.L. Baker T.L. Heller
- B.R. Collett J.L. Ohan, K.M. Myers
- C. Conners
- C. Johnston C. Murray
- C. Peters R.A. Fox
- C. Roberts T. Mazzucchelli, L. Studman, M.R. Sanders
- C. Webster-Stratton
- C. Webster-Stratton
- C. Webster-Stratton
- C. Webster-Stratton
- C. Webster-Stratton
- C. Webster-Stratton
- C. Webster-Stratton M.J. Reid, M. Hammond
- C. Webster-Stratton M.J. Reid, M. Hammond
- C. Webster-Stratton T. Hollinsworth, M. Kolpacoff
- C. Webster-Stratton T. Taylor
- C.B. McNeil L.C. Capage, A. Bahl, H. Blanc
- C.B. McNeil S. Eyberg, T.H. Eisenstadt, K. Newcomb, B. Funderburk
- C.H. Qi A.P. Kaiser
- C.K. Conners G. Sitarenios, J.N. Epstein
- C.L. Peters D.L. Platz, R.A. Fox
- C.M. Rockhill B.R. Collett, J.M. McClellan, M.L. Spelz
- C.M. Rodriguez L.E. Murphy
- C.R. Reynolds R.W. Kamphaus
- D. Baumrind
- D. Baumrind
- D. Reitman
- D. Reitman R.O. Currier, S.D.A. Hupp, P.C. Rhode, M.A. Murphy, P.M. O’Callaghan
- D. Reitman R.O. Currier, T.R. Stickle
- D.B. Pincus S.M. Eyberg, M.L. Choate
- D.E. McIntosh M.G. Rizza, L. Bliss
- D.L. Olds
- D.L. Olds C.R. Henderson, R. Chamberlin, R. Tatelbaum
- D.L. Olds J. Robinson, R. O’Brien, D.W. Luckey, L.M. Pettitt, R.K. Ng, K.L. Sheff, J. Korfmacher, S. Hiatt, A. Talmi, C.R. Henderson
- D.L. Platz
- D.L. Platz R.P. Pupp, R.A. Fox
- D.P. Hallahan J.M. Kauffman
- D.S. Shaw E.B. Owens, J. Giovannelli, E.B. Winslow
- E.E. Maccoby
- E.J. Mash D.A. Wolfe
- G.A. Gimpel M.L. Holland
- G.B. Mesibov D.M. Browder, C. Kirkland
- G.L. Burns D.R. Patterson
- G.L. Doctoroff D.H. Arnold
- G.M. Sasso M.A. Conroy, J.P. Stichter, J.J. Fox
- H. Kintzman D.L. Olds, C.R. Henderson, C. Hanks, R. Cole, R. Tatelbaum, K.M. McConnochie, K. Sidora, D.W. Luckey, D. Shaver, K. Engelhardt, D. James, K. Barnard
- H. Sterling-Turner T.S. Watson
- H.M. Walker G. Colvin, E. Ramsey
- H.M. Walker H.H. Severson, E.G. Feil, B. Stiller, A. Golly
- H.M. Walker K. Kavanagh, B. Stiller, A. Golly, H. Severson, E.G. Feil
- J. Belsky
- J. Fantuzzo S. Grim, M. Mordell, P. McDermott, L. Milller, K. Coolahan
- J. Lawry C.D. Danko, P.S. Strain
- J. Sigafoos
- J. Umbreit K.S. Blair
- J.K. Coffman D.W. Guerin, A.W. Gottfried
- J.M. Youngblut D. Brooten, L.T. Singer, T. Standing, H. Lee, W.L. Rodgers
- J.R. Irwin A.S. Carter, M.J. Briggs-Gowan
- J.R. Weisz I.N. Sandler, J.A. Durlak, B.S. Anton
- J.V. Lavigne R.D. Gibbons, K.K. Christoffel, R. Arend, D. Rosenbaum, H. Binns, N. Dawson, H. Sobel, C. Isaacs
- K. Beard G. Sugai
- K. Keenan L.S. Wakschlag
- K. Keenan L.S. Wakschlag
- K. Minde
- K. Uzark K. Jones
- K.A. Thomas M.T. Renaud, D. DePaul
- K.B. Todd B.A. Thyer
- K.L. Kumpfer R. Alvarado
- K.M. La Paro R.C. Pianta
- K.W. Merrell
- L. Steinberg S.D. Lamborn, N. Darling, N.S. Mounts, S.M. Dornbusch
- L.A. Reddy L. Richardson
- L.A. Rescorla T.M. Achenbach, S. Ginzburg, M. Ivanova, L. Dumenci, F. Almqvist, M. Bathiche, N. Bilenberg, H. Bird, A. Domuta, N. Erol, E. Fombonne, A. Fonseca, A. Frigerio, Y. Kanbayashi, M.C. Lambert, L. Xianchen, P. Leung, A. Minaei, A. Roussos
- L.K. Carey B.C. Nicholson, R.A. Fox
- L.L. Newcomer T.J. Lewis
- L.S. Miller H.S. Koplewicz, R.G. Klein
- M. Kroes A.C. Kalff, J. Steyaert, A.G. Kessels, F.J. Feron, J.G. Hendricksen, T. Van Zeben, J. Troost, J. Jolles, J.S. Vles
- M. Nation C. Crusto, A. Wandersman, K.L. Kumpfer, D. Seybolt, E. Morrissey-Kane, K. Davino
- M. Stormont
- M. Wierzbicki G. Pekarik
- M.A. Feldman C.L. Hancock, N. Rielly, P. Minnes, C. Cairns
- M.A. Tucker R.A. Fox
- M.B. Hofstra J. van der Ende, F.C. Verhulst
- M.C. Heinze T. Grisso
- M.D. McDiarmid D.M. Bagner
- M.J. Briggs-Gowan A.S. Carter
- M.J. Briggs-Gowan A.S. Carter, J.R. Irwin, K. Wachtel, D.V. Cicchetti
- M.K. Nock C. Ferriter
- M.R. Keefe K.A. Karlsen, M.L. Lobo, A.M. Kotzer, W.N. Dudley
- M.R. Sanders
- M.R. Sanders
- M.R. Sanders C. Markie-Dadds
- M.R. Sanders K. Plant
- M.R. Sanders T.G. Mazzucchelli, L.J. Studman
- M.R. Sanders T.G. Mazzucchelli, L.J. Studman
- M.Y. Brinkmeyer S.M. Eyberg
- N. Richman J.E. Stevenson, P.J. Graham
- P. Solis-Camara R.A. Fox
- P.C. Kendall A. Marrs-Garcia, S.R. Nath, R.C. Sheldrick
- P.G. Cardona B.C. Nicholson, R.A. Fox
- P.H. Tolan K.A. Dodge
- P.J. Kay M. Fitzgerald
- P.S. Strain M.A. Timm
- R. Forehand R.J. McMahon
- R. Pianta
- R. Weis M.C. Lovejoy, B. Lundahl
- R. Wicks-Nelson A.C. Israel
- R.A. Fox
- R.A. Fox B.C. Nicholson
- R.A. Fox D.L. Platz, K.S. Bentley
- R.A. Fox E. Parroni Hennick
- R.A. Fox K.M. Duffy, K.M. Keller
- R.A. Fox K.M. Keller, P.L. Grede, A.M. Bartosz
- R.A. Fox K.S. Bentley
- R.A. Fox P. Solis-Camara
- R.A. Fox R.C. Anderson, T.A. Fox, M.A. Rodriguez
- R.A. Fox T.A. Fox, R.C. Anderson
- R.C. Anderson R.A. Fox
- R.F. Ferdinand K.N. Hoogerheide, J. van der Ende, J.H. Visser, H.M. Koot, M.C. Kasins, F.C. Verhlst
- R.G. Miltenberger
- R.L. Nix E.E. Pinderhughes, K.A. Dodge, J.E. Bates, G.S. Pettit, S.A. McFadyen-Ketchum
- R.P. Solis-Camara R.A. Fox, B.C. Nicholson
- R.P. Weissberg K.L. Kumpfer, M.E. Seligman
- R.R. Abidin
- R.W. Kamphaus M.C. VanDeventer, A. Brueggemann, M. Barry
- S. Bell S.M. Eyberg
- S. Connell M.R. Sanders, C. Markie-Dadds
- S. Eyberg
- S. Overton L. McKenzie, K. King, J. Osborne
- S.A. Koblinsky K.A. Kuvalanka, S.M. Randolph
- S.B. Campbell
- S.H. Bell A. Clancy, E.N. Gaddes
- S.H. McConaughy P.J. Kay, M. Fitzgerald
- S.H. McConaughy P.J. Kay, M. Fitzgerald
- S.H. McConaughy P.J. Kay, M. Fitzgerald
- S.J. Simonian
- S.L. Neilsen M.A. McEvoy
- S.L. Neilsen M.L. Olive, A. Donovan, M. McEvoy
- S.M. Eyberg
- S.M. Eyberg B.W. Funderburk, T.L. Hembree-Kigin, C.B. McNeil, J.G. Quierdo, K.K. Hood
- S.M. Eyberg D. Pincus
- S.M. Eyberg S. Boggs, J. Algina
- S.M. Eyberg S.R. Boggs, C.M. Rodriguez
- S.R. Boggs S.M. Eyberg, D.L. Edwards, A. Rayfield, J. Jacobs, D. Bagner, K.K. Hood
- T.H. Eisenstadt S.M. Eyberg, C.B. McNeil, K. Newcomb, B. Funderburk
- T.H. Ollendick M. Hersen
- T.K. Taylor F. Schmidt, D. Pepler, H. Hodgins
- T.M. Achenbach
- T.M. Achenbach
- T.M. Achenbach L.A. Rescorla
- T.M. Achenbach S.H. McConaughy, C.T. Howell
- V. Brenner B.C. Nicholson, R.A. Fox
- V. Brenner R.A. Fox
- V. Brenner R.A. Fox
- V.A. Green M.O. O’Reilly, J. Itchon, J. Sigafoos
- W. Copeland K. Landry, C. Stanger, J.J. Hudziak
- W.J. Gianarris C.J. Golden, L. Greene
- Publication venue
- 'Elsevier BV'
- Publication date
- 01/01/2008
- Field of study