Find information:
[6-16]Efficient Bulk Transport and Mobility Control in Wireless Sensor Networks 2008-06-13
[6-13]A Course of Temporal Logic for B.Sc.and... 2008-06-10
[6-10]Verification as a Parameterized Testing 2008-06-05
[6-10]Product Line Architectures: Generating ... 2008-06-04
[6-6]Program Systems Institute of RAS 2008-06-03
[6-3]Short courses on Approximation Algorithms 2008-05-28
[6-27]RT: A Role-based Trust-management Framework 2008-05-26
[6-26]How to make Discretionary Access Control ... 2008-05-26
[5-4]Rule-based modeling of cellular signalling 2008-05-03
[4-30]Artifacts+Semantics=Goal-based Workflow... 2008-04-29
[4-22]Verification of Higher-Order Computation 2008-04-17
[4-21]Efficient Query Answering over Ontologies 2008-04-14
[3-28]Formal Model Driven Design 2008-03-24
[3-28]Tool supported real-time system verification 2008-03-24
[2-26]Verifiers are Programs 2008-02-25
  30 Page(s)   FirstPrev2627282930NextFinal