Formal modeling and analysis of timed systems (4th International conference, FORMATS 2006, Paris, France, September 25-27, 2006)Asarin, Eugène; Bouyer, Patricia.Lecture notes in computer science. 2006, issn 0302-9743, isbn 3-540-45026-2, 1Vol, XI-367 p, isbn 3-540-45026-2Conference Proceedings

Formal modeling and analysis of timed systems (third international conference, FORMATS 2005, Uppsala, Sweden, September 26-28, 2005)Lecture notes in computer science. 2005, issn 0302-9743, isbn 3-540-30946-2, 1Vol, IX-303 p, isbn 3-540-30946-2Conference Proceedings

Principles of Robust Timing over the InternetRIDOUX, Julien; VEITCH, Darryl.Communications of the ACM. 2010, Vol 53, Num 5, pp 54-61, issn 0001-0782, 8 p.Article

Capacitated disassembly scheduling : Minimizing the number of products disassembledKIM, Jun-Gyu; JEON, Hyong-Bae; KIM, Hwa-Joong et al.Lecture notes in computer science. 2005, issn 0302-9743, isbn 3-540-25860-4, 4Vol, part IV, 538-547Conference Paper

Verification of parameterized timed systemsAZIZ ABDULLA, Parosh.Lecture notes in computer science. 2005, pp 95-97, issn 0302-9743, isbn 3-540-30946-2, 1Vol, 3 p.Conference Paper

Synthesis of reactive(1) designsPITERMAN, Nir; PNUELI, Amir; SA'AR, Yaniv et al.Lecture notes in computer science. 2006, pp 364-380, issn 0302-9743, isbn 3-540-31139-4, 1Vol, 17 p.Conference Paper

Feedback, queueing, and the reliability of the ideal poisson channel above capacityWAGNER, Aaron B; ANANTHARAM, Venkat.IEEE International Symposium on Information Theory. 2004, isbn 0-7803-8280-3, 1Vol, p. 447Conference Paper

Adaptive synchronisation for a RoboCup agentMONTGOMERY, Jefferson D; MACKWORTH, Alan K.Lecture notes in computer science. 2003, pp 135-149, issn 0302-9743, isbn 3-540-40666-2, 15 p.Conference Paper

Outils de modélisation des automatismes séquentiels : Les réseaux de Petri = Modelling tools of sequential automatisms: the Petri networksLADET, Pierre.Techniques de l'ingénieur. Informatique industrielle. 1989, Vol S1, Num R7252, pp R7252.1-R7252.16, issn 1632-3831Article

One Individual's Three Perspectives of the Collegiate Cyber Defense CompetitionSCAPARRA, Jeffrey.Security & management. International conferenceWorldComp'2010. 2010, pp 307-313, isbn 1-60132-159-7 1-60132-162-7 1-60132-163-5, 7 p.Conference Paper

On the expressiveness of MTL with past operatorsPRABHAKAR, Pavithra; D'SOUZA, Deepak.Lecture notes in computer science. 2006, pp 322-336, issn 0302-9743, isbn 3-540-45026-2, 1Vol, 15 p.Conference Paper

Performance analysis of MAC-hs protocolBESTAK, Robert.Lecture notes in computer science. 2005, issn 0302-9743, isbn 3-540-25339-4, 2Vol, Part I, 100-108Conference Paper

The influence of durational actions on time equivalencesFECHER, Harald.Lecture notes in computer science. 2004, pp 231-245, issn 0302-9743, isbn 3-540-23167-6, 15 p.Conference Paper

Time-based extensions to adaptation techniquesBIELIKOVA, Maria; HABALA, Rastislav.Lecture notes in computer science. 2004, pp 376-379, issn 0302-9743, isbn 3-540-22895-0, 4 p.Conference Paper

Decidability and expressive power of real time logicsRABINOVICH, Alexander.Lecture notes in computer science. 2006, issn 0302-9743, isbn 3-540-45026-2, 1Vol, p. 32Conference Paper

Study on brachiation controller: Adjustment method of strength and timing parametersKAJIMA, Hideki; HASEGAWA, Yasuhisa; FUKUDA, Toshio et al.IROS 2002 : international conference on intelligent robots and systems. 2002, pp 2497-2502, isbn 0-7803-7398-7, 3Vol, 6 p.Conference Paper

Characterization of the burst aggregation process in optical burst switchingMOUNTROUIDOU, Xenia; PERROS, Harry G.Lecture notes in computer science. 2006, pp 752-764, issn 0302-9743, isbn 3-540-34192-7, 1Vol, 13 p.Conference Paper

Designing secure e-tendering systemsRONG DU; FOO, Ernest; GONZALEZ NIETO, Juan et al.Lecture notes in computer science. 2005, pp 70-79, issn 0302-9743, isbn 3-540-28224-6, 10 p.Conference Paper

Remapping in heterogeneous computingMARTINOVIC, Goran; BUDIN, Leo; HOCENSKI, Zeljko et al.Information technology interfaces. 2004, pp 615-620, isbn 953-96769-9-1, 6 p.Conference Paper

Sequence learning using the neural codingMOGA, Sorin; GAUSSIER, Philippe; BANQUET, Jean-Paul et al.Lecture notes in computer science. 2003, pp 198-205, issn 0302-9743, isbn 3-540-40210-1, 8 p.Conference Paper

Graph transformation with time: Causality and logical clocksGYAPAY, Szilvia; HECKEL, Reiko; VARRO, Daniel et al.Lecture notes in computer science. 2002, pp 120-134, issn 0302-9743, isbn 3-540-44310-X, 15 p.Conference Paper

A Comparison of Sound Dimensions for Auditory Graphs: Pitch Is Not So PerfectPERES, S. Camille.Journal of the Audio Engineering Society. 2012, Vol 60, Num 7-8, pp 561-567, issn 1549-4950, 7 p.Article

Virtual environments for creative work in collaborative music-makingSCHOBER, Michael F.Virtual reality (Waltham Cross). 2006, Vol 10, Num 2, pp 85-94, issn 1359-4338, 10 p.Article

Autapse Modulated BurstingWANG, Gnang-Hong; PING JIANG.Lecture notes in computer science. 2006, pp 334-343, issn 0302-9743, isbn 3-540-34439-X, 10 p.Conference Paper

Cache-collision timing attacks against AESBONNEAU, Joseph; MIRONOV, Ilya.Lecture notes in computer science. 2006, pp 201-215, issn 0302-9743, isbn 3-540-46559-6, 1Vol, 15 p.Conference Paper