 [6-20]Software Security Problems and Solutions...
|
2008-06-12 |
| [6-19]Smart In-situ Sensor Web for Volcano Monitoring
|
2008-06-18 |
| [6-19]Mobile Sensor Network under Extremely Low Connectivity: Plan B
|
2008-06-17 |
| [6-16]Mobile Filtering for Data Collection in Sensor Networks and Beyond
|
2008-06-13 |
| [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 |
