Temporal concurrent constraint programmingVALENCIA, Frank D.Lecture notes in computer science. 2001, issn 0302-9743, isbn 3-540-42863-1, p. 786Conference Paper

Incrementally scheduling with qualitative temporal informationLAUNAY, Florent; MITRA, Debasis.Lecture notes in computer science. 2005, pp 229-231, issn 0302-9743, isbn 3-540-26551-1, 3 p.Conference Paper

Musical harmonization with constraints: A surveyPACHET, Francois; ROY, Pierre.Constraints (Dordrecht). 2001, Vol 6, Num 1, pp 7-19, issn 1383-7133Conference Paper

A note on the modelling of project networks with time constraintsCARAMIA, Massimiliano; GUERRIERO, Francesca.European journal of operational research. 2011, Vol 211, Num 3, pp 666-670, issn 0377-2217, 5 p.Article

Learning and solving soft temporal constraints: An experimental studyROSSI, Francesca; SPERDUTI, Alessandro; VENABLE, Kristen B et al.Lecture notes in computer science. 2002, pp 249-263, issn 0302-9743, isbn 3-540-44120-4, 15 p.Conference Paper

Architecture matérielle pour implantation de réseaux de neurones en temps réel = Hardware architecture for real-time neural networks implementationKHATCHADOURIAN, Sonia; RAMANAN, Narayanan; PREVOTET, Jean-Christophe et al.Colloque sur le traitement du signal et des images. 2009, pp 54-55, 1Vol, 2 p.Conference Paper

Representing and recognizing scenario patternsJIXIN MA; BIN LUO.Lecture notes in computer science. 2005, issn 0302-9743, isbn 3-540-28312-9, 2Vol, Part II, 140-149Conference Paper

Temporal dependency for dynamic verification of temporal constraints in workflow systemsJINJUN CHEN; YUN YANG.Lecture notes in computer science. 2004, pp 1005-1008, issn 0302-9743, isbn 3-540-23564-7, 4 p.Conference Paper

Intégration du temps dans les tests de protocoles de communication = Integration of time in the test of communication protocolsLaurençot, Patrice; Castanet, Richard.1999, 137 p.Thesis

Modeling spatio-temporal constraints for multimedia objectsKWON, Y.-M; FERRARI, E; BERTINO, E et al.Data & knowledge engineering. 1999, Vol 30, Num 3, pp 217-238, issn 0169-023XArticle

Vérification temporelle de descriptions comportementales en VHDL = Temporal verification of behavioural. Descriptions in VHDLBoussebha, Djamel; Giambiasi, Norbert.1993, 110 p.Thesis

Réseau de Petri temporel étendu : Proposition d'un nouveau modèle basé sur les réseaux de Petri temporels = Extened time Petri net: proposition fo a new model based on the time Petri netsEL TOUATI, Yamen; BEN HADJ ALOUANE, Nejib; YEDDES, Moez et al.Journal européen des systèmes automatisés. 2005, Vol 39, Num 1-3, pp 207-222, issn 1269-6935, 16 p.Conference Paper

Modèles de coopération et de communication entre processus temps réel répartis. Expression de contraintes de temps pour la vérification de propriétés temporelles dans la communication = Cooperation and communication models between distributed real time process. Expression of time constraints for the verification of temporal properties in communicationVega, Luis; Thomesse, J.-P.1996, 197 p.Thesis

Méthodes de synchronisation dans les systèmes répartis multimédia: une approche intégrant relations de causalité et contraintes temporelles = Synchronisation methods in distributed multimedia systems: an approach integrating causal relationships and temporal constraintsRust Da Costa Carmo, Luiz Fernando; Courtiat, J.-P.1994, 156 p.Thesis

Character-based cladistics and answer set programmingBROOKS, Daniel R; ERDEM, Esra; MINETT, James W et al.Lecture notes in computer science. 2005, pp 37-51, issn 0302-9743, isbn 3-540-24362-3, 15 p.Conference Paper

Strategies for global optimization of temporal preferencesMORRIS, Paul; MORRIS, Robert; KHATIB, Lina et al.Lecture notes in computer science. 2004, pp 408-422, issn 0302-9743, isbn 3-540-23241-9, 15 p.Conference Paper

Programmation par contraintes pour la gestion du trafic ferroviaire = Constraint programming for rai traffic managementRODRIGUEZ, Joaquin.Génie logiciel (1995). 2002, Num 63, pp 34-39, issn 1265-1397, 6 p.Article

Objets à contrôle réactif : Un modèle de conception pour applications concurrentes = Reactive controlled objects : A design model for concurrent applicationsAUGERAUD, M; BERTRAND, F.TSI. Technique et science informatiques. 1999, Vol 18, Num 8, pp 871-899, issn 0752-4072Article

A Generalized Temporal role-based access control modelJOSHI, James B. D; BERTINO, Elisa; LATIF, Usman et al.IEEE transactions on knowledge and data engineering. 2005, Vol 17, Num 1, pp 4-23, issn 1041-4347, 20 p.Article

Scheduling with probability and temporal constraintsBAKI, Bassam; BOUZID, Maroua.Lecture notes in computer science. 2005, pp 148-159, issn 0302-9743, isbn 3-540-29041-9, 12 p.Conference Paper

A distributed tasks allocation scheme in multi-UAV contextLEMAIRE, Thomas; ALAMI, Rachid; LACROIX, Simon et al.IEEE International Conference on Robotics and Automation. 2004, pp 3622-3627, isbn 0-7803-8232-3, 5Vol, 6 p.Conference Paper

A realistic protocol for multi-party certified electronic mailFERRER-GOMILA, Josep Lluis; PAYERAS-CAPELLA, Magdalena; HUGUET-ROTGER, Llorenc et al.Lecture notes in computer science. 2002, pp 210-219, issn 0302-9743, isbn 3-540-44270-7, 10 p.Conference Paper

An automata-theoretic approach to constraint LTLDEMRI, Stéphane; D'SOUZA, Deepak.Lecture notes in computer science. 2002, pp 121-132, issn 0302-9743, isbn 3-540-00225-1, 12 p.Conference Paper

Hybrid Role hierarchy for Generalized Temporal Role Based Access Control modelJOSHI, James B. D; BERTINO, Elisa; GHAFOOR, Arif et al.Proceedings - International Computer Software & Applications Conference. 2002, pp 951-956, isbn 0-7695-1727-7, 6 p.Conference Paper

Series-parallel and tree-decomposition approaches for Fuzzy Constraint NetworksBOSCH, Alfonso; GUIL, Francisco; MARTINEZ, Carmen et al.Lecture notes in computer science. 2002, pp 275-284, issn 0302-9743, isbn 3-540-00131-X, 10 p.Conference Paper