InforLorV4, Crin, Checkpoint, indexItem, Title.i, under

undecidable < under < underspecified

Facettes :

List of bibliographic references

Number of relevant bibliographic references: 24.
[0-20] [0 - 20][0 - 24][20-23][20-40]**** probable Xml problem ****

Ident.	Authors (with country if any)	Title
000341 (2005)	Martin Abadi ; Véronique Cortier	Deciding knowledge in security protocols under (many more) equational theories
000380 (2005)	Simon Le Gloannec ; Abdel-Illah Mouaddib ; François Charpillet	Meta-Level Control Under Uncertainty for Handling Multiple Consumable Resources of Robots
000418 (2005)	Ricardo Santos Marques ; Nicolas Navet ; Françoise Simonot-Lion	Configuration of in-vehicle embedded systems under real-time constraints
000667 (2004)	Anis Koubaa ; Ye-Qiong Song	Evaluation and Improvement of Response Time Bounds for Real-Time Applications under Non-Preemptive Fixed Priority Scheduling
000792 (2004)	Martin Abadi ; Véronique Cortier	Deciding knowledge in security protocols under equational theories
000832 (2004)	Jian Li ; Yeqiong Song ; Françoise Simonot-Lion	Schedulability analysis for system under (m,k)-firm constraints
000B13 (2003)	Jian Li	Sufficient Condition for Guaranteeing (m,k)-firm Real-Time Requirement Under NP-DBP-EDF Scheduling
000B98 (2003)	Denys Duchier	Configuration of Labeled Trees under Lexicalized Constraints and Principles
000C41 (2003)	Roman Kolpakov ; Gregory Kucherov	Finding approximate repetitions under Hamming distance
000D67 (2003)	Ricardo Santos Marques ; Nicolas Navet ; Françoise Simonot-Lion	Frame Packing under real-time constraints
000D78 (2003)	Gülgün Alpan	Imposing structural and performance specifications on a system under supervisory control
001616 (2001)	Roman Kolpakov ; Gregory Kucherov	Finding Approximate Repetitions under Hamming Distance
001617 (2001)	Roman Kolpakov ; Gregory Kucherov	Finding Approximate Repetitions under Hamming Distance
001742