Registrati | Log in | FAQ      [?] 
Recent | Unread | Search | Authors | Tags | Export

di samsalisbury library [41 articles]

Articoli aggiunti di recente nella biblioteca di samsalisbury .
  • Process for System Architecture and Requirements Engineering
    (31 August 2000)
    by Derek J Hatley, Peter Hruschka, Imtiaz A Pirbhai
    posted to no-tag by samsalisbury on 2008-05-13 00:25:22 as **
  • Thirty one Problems in the Semantics of UML 1.3 Dynamics
    by G Reggio, RJ Wieringa
    posted to no-tag by samsalisbury on 2008-05-13 00:11:38 as **
  • A Study of Familiarity
    INTERACT (2003), pp. 463-470.
    by Guy Van de Walle, Phil Turner, Elisabeth Davenport
    edited by M Rauterberg
    posted to no-tag by samsalisbury on 2008-05-12 23:32:18 as **
  • notes Requirements Classification as a First Step to Grasp Quality Requirements
    (1997)
    by Elke Hochmüller
    posted to no-tag by samsalisbury on 2008-05-11 23:47:50 as **
  • JavaScript: The Good Parts
    (02 May 2008)
    by Douglas Crockford
    posted to javascript by samsalisbury on 2008-05-11 01:18:34 as ** along with 1 person voronov
  • A Spiral Model of Software Development and Enhancement
    Computer, Vol. 21, No. 5. (May 1988), pp. 61-72.
    by Barry W Boehm
    posted to no-tag by samsalisbury on 2008-05-09 15:32:46 as ** along with 5 people trm005 mvolger neilernst smogit tni
  • Managing the development of large software systems
    Vol. 26 (August 1970), pp. 1-9.
    by WW Royce
    posted to no-tag by samsalisbury on 2008-05-09 14:50:25 as ** along with 2 people jjamor beroca
  • The humble programmer
    Commun. ACM, Vol. 15, No. 10. (October 1972), pp. 859-866.
    by Edsger W Dijkstra
    posted to no-tag by samsalisbury on 2008-05-09 14:45:08 as ** along with 2 people hamish 4vgacias
  • What is beautiful is usable
    Interacting with Computers, Vol. 13, No. 2. (December 2000), pp. 127-145.
    by N Tractinsky, A Katz, D Ikar
    posted to no-tag by samsalisbury on 2008-01-31 19:16:17 as ** along with 12 people and 7 groups rabourn JacquesC sylvienoel russellbeale ryanshaw serwe marije archer aku8000 wigelius mrajanen christiand NU-PRL CSCW sims_phd_cohort_2005 digital_youth Virtual_Reality HCI-Bham HCI-IHTE-TUT
  • Timing Requirements for Time-Driven Systems Using Augmented Petri Nets
    Transactions on Software Engineering, Vol. SE-9, No. 5. (1983), pp. 603-616.
    by JE Coolahan, N Roussopoulos
    posted to no-tag by samsalisbury on 2008-01-30 16:45:19 as **
  • Scheduling analysis of FMS: An unfolding timed Petri nets approach
    Mathematics and Computers in Simulation, Vol. 70, No. 5-6. (24 February 2006), pp. 419-432.
    by Jong-Kun Lee, Ouajdi Korbaa
    posted to nets petri by samsalisbury on 2008-01-30 13:16:30 as **
  • Timed verification of the reliable adaptive multicast protocol
    Journal of Systems and Software, Vol. 80, No. 2. (February 2007), pp. 224-239.
    by Richard Lai, Tony Tsang
    posted to modelling nets petri by samsalisbury on 2008-01-30 13:11:37 as **
  • Modelling with Generalized Stochastic Petri Nets
    (28 November 1995)
    by G Balbo, G Conte, S Donatelli, G Franceschinis, Ajmone M Marsan
    posted to modelling nets petri by samsalisbury on 2008-01-29 15:57:19 as *** along with 1 person pverstra
  • The non-sequential behaviour of Petri nets
    Information and Control, Vol. 57, No. 2-3. ( 1983), pp. 125-147.
    by U Goltz, W Reisig
    posted to no-tag by samsalisbury on 2008-01-28 17:50:05 as ***
  • Decidability Issues for Petri Nets - a Survey
    Bulletin of the European Association for Theoretical Computer Science, Vol. 52 (1994), pp. 245-262.
    by J Esparza, M Nielsen
    posted to algorithms complexity decidability nets petri by samsalisbury on 2008-01-24 22:21:22 as ***** along with 3 people and 1 group fheintz pverstra abellogin macc
  • notes Carl Adam Petri und die "Petrinetze"
    pp. 369-381.
    posted to history nets petri by samsalisbury on 2008-01-24 19:23:01 as read
  • Petri nets for modeling of dynamic systems : A survey
    Automatica, Vol. 30, No. 2. (February 1994), pp. 175-202.
    by Rene David, Hassane Alla
    posted to no-tag by samsalisbury on 2008-01-21 13:30:34 as *****
  • Structural Translation from Time Petri Nets to Timed Automata
    Electronic Notes in Theoretical Computer Science, Vol. 128, No. 6. (23 May 2005), pp. 145-160.
    by Franck Cassez, Olivier-H Roux
    posted to no-tag by samsalisbury on 2008-01-21 13:26:19 as **
  • PZ nets -- a formal method integrating Petri nets with Z
    Information and Software Technology, Vol. 43, No. 1. (1 January 2001), pp. 1-18.
    by Xudong He
    posted to no-tag by samsalisbury on 2008-01-21 13:22:54 as **
  • Transformations of Petri Nets
    Electronic Notes in Theoretical Computer Science, Vol. 148, No. 1. (1 February 2006), pp. 151-172.
    by H Ehrig, K Hoffmann, J Padberg
    posted to no-tag by samsalisbury on 2008-01-21 13:12:34 as ** along with 1 person leonardo
  • Timed Petri nets definitions, properties, and applications
    Microelectronics and Reliability, Vol. 31, No. 4. (1991), pp. 627-644.
    by WM Zuberek
    posted to no-tag by samsalisbury on 2008-01-21 13:10:48 as **
  • Performance results for the CSMA/CD protocol using GreatSPN
    Journal of Systems and Software, Vol. 37, No. 1. (April 1997), pp. 75-90.
    by R Lai
    posted to no-tag by samsalisbury on 2008-01-21 12:53:47 as **
  • GreatSPN 1.7: Graphical editor and analyzer for timed and stochastic Petri nets
    Performance Evaluation, Vol. 24, No. 1-2. (November 1995), pp. 47-68.
    by G Chiola, G Franceschinis, R Gaeta, M Ribaudo
    posted to no-tag by samsalisbury on 2008-01-21 12:52:44 as *****
  • Fuzzy timed Petri nets -- analysis and implementation
    Mathematical and Computer Modelling, Vol. 43, No. 3-4. (February 2006), pp. 385-400.
    by Zouhua Ding, Horst Bunke, Oscar Kipersztok, Mti Schneider, Abraham Kandel
    posted to no-tag by samsalisbury on 2008-01-21 12:51:32 as **
  • Fuzzy timed Petri nets
    Fuzzy Sets and Systems, Vol. 140, No. 2. (1 December 2003), pp. 301-330.
    by Witold Pedrycz, Heloisa Camargo
    posted to no-tag by samsalisbury on 2008-01-21 12:49:45 as **
  • Formulating and solving optimization problems using stochastic timed Petri nets
    Microelectronics and Reliability, Vol. 31, No. 4. (1991), pp. 769-792.
    by Po-Zung Chen, Steven C Bruell, Giafranco Balbo
    posted to no-tag by samsalisbury on 2008-01-21 12:48:56 as **
  • Fault-tolerant software reliability modeling using Petri nets
    Microelectronics and Reliability, Vol. 31, No. 4. (1991), pp. 645-667.
    by Shao-Wei Leu, Eduardo B Fernandez, Taghi Khoshgoftaar
    posted to petri by samsalisbury on 2008-01-21 12:48:27 as **
  • Embedded product-form queueing networks and the improvement of performance bounds for Petri net systems
    Performance Evaluation, Vol. 18, No. 1. (July 1993), pp. 3-19.
    by Javier Campos, Manuel Silva
    posted to no-tag by samsalisbury on 2008-01-21 12:47:41 as **
  • Dynamic sequencing of robot moves in a manufacturing cell
    European Journal of Operational Research, Vol. 69, No. 3. (24 September 1993), pp. 482-497.
    by Shu-Chu Liu, Li Lin
    posted to no-tag by samsalisbury on 2008-01-21 12:46:41 as **
  • Simulation and analysis of discrete-event control systems based on Petri nets using PNetLab
    Control Engineering Practice, Vol. 15, No. 2. (February 2007), pp. 241-259.
    by Francesco Basile, Ciro Carbone, Pasquale Chiacchio
    posted to no-tag by samsalisbury on 2008-01-21 12:37:02 as ** along with 1 person fernand0
  • A [beta]-distributed stochastic petri net model for software project time/cost management
    Journal of Systems and Software, Vol. 26, No. 2. (August 1994), pp. 149-165.
    by Gang-Soo Lee, Tadao Murata
    posted to no-tag by samsalisbury on 2008-01-21 12:36:04 as **
  • A theory of implementation and refinement in timed Petri nets
    Theoretical Computer Science, Vol. 202, No. 1-2. (28 July 1998), pp. 127-161.
    by Miguel Felder, Angelo Gargantini, Angelo Morzenti
    posted to no-tag by samsalisbury on 2008-01-21 12:34:41 as **
  • A Petri net-based integrated control and scheduling scheme for flexible manufacturing cells
    Computer Integrated Manufacturing Systems, Vol. 10, No. 2. (May 1997), pp. 109-122.
    by James T Lin, Chia-Chu Lee
    posted to no-tag by samsalisbury on 2008-01-21 12:34:17 as **
  • A Petri net based methodology to integrate qualitative and quantitative analysis
    Information and Software Technology, Vol. 36, No. 7. (July 1994), pp. 435-441.
    by Monika Heiner, Giorgio Ventre, Dietmar Wikarski
    posted to no-tag by samsalisbury on 2008-01-21 12:33:57 as **
  • A generalized stochastic high-level Petri net model for performance analysis
    Journal of Systems and Software, Vol. 36, No. 3. (March 1997), pp. 247-265.
    by Samir M Koriem, LM Patnaik
    posted to no-tag by samsalisbury on 2008-01-21 12:32:59 as **
  • A brief survey and synthesis of the roles of time in petri nets
    Mathematical and Computer Modelling, Vol. 31, No. 10-12. ( 2000), pp. 55-68.
    by FDJ Bowden
    posted to no-tag by samsalisbury on 2008-01-21 12:30:37 as **
  • Fuzzy timed petri net definitions, properties, and applications
    Mathematical and Computer Modelling, Vol. 41, No. 2-3. ( 2005), pp. 345-360.
    by Zouhua Ding, H Bunke, M Schneider, A Kandel
    posted to no-tag by samsalisbury on 2008-01-21 12:29:51 as **
  • Continuous and timed Petri nets for the macroscopic and microscopic traffic flow modelling
    Simulation Modelling Practice and Theory, Vol. 13, No. 5. (July 2005), pp. 407-436.
    by C Tolba, D Lefebvre, P Thomas, El A Moudni
    posted to continuous modelling nets petri by samsalisbury on 2008-01-21 12:27:18 as **
  • Processes of timed Petri nets
    Theoretical Computer Science, Vol. 243, No. 1-2. (28 July 2000), pp. 1-34.
    by Jozef Winkowski
    posted to no-tag by samsalisbury on 2008-01-18 15:33:50 as *****
  • Petri nets: Properties, analysis and applications
    Proceedings of the IEEE, Vol. 77, No. 4. (1989), pp. 541-580.
    by T Murata
    posted to no-tag by samsalisbury on 2008-01-18 15:28:21 as **** along with 9 people and 2 groups lukaswindhager abellogin tautologico kayani balicea ddahlem mattjb mhakami aless ComplexAdaptiveSystems DSTO-CAS
  • Petri nets and algebraic specifications
    Theoretical Computer Science, Vol. 80, No. 1. (21 March 1991), pp. 1-34.
    by Wolfgang Reisig
    posted to no-tag by samsalisbury on 2008-01-18 15:22:51 as ****
    • Puoi citare questa pagina come: http://www.citeulike.org/user/samsalisbury

    RIS BibTeX RSS
    CiteULike organises scholarly (or academic) papers or literature and provides bibliographic (which means it makes bibliographies) for universities and higher education establishments. It helps undergraduates and postgraduates. People studying for PhDs or in postdoctoral (postdoc) positions. The service is similar in scope to EndNote or RefWorks or any other reference manager like BibTeX, but it is a social bookmarking service for scientists and humanities researchers.