Modification date 26 June 2014 03:43:53
From CERES
A list of all pages that have property "Modification dateThis property is a special property in this wiki." with value "26 June 2014 03:43:53".
Since there have been only a few results, also nearby values are displayed.
- Publications:Analytical software design : introduction and industrial experience report + (26 June 2014 03:43:47)
- Publications:Checking and deriving module paths in Verilog cell library descriptions + (26 June 2014 03:43:47)
- Publications:Symbolic Power Analysis of Cell Libraries + (26 June 2014 03:43:48)
- Publications:Order-independence of vector-based transition systems + (26 June 2014 03:43:48)
- Publications:Long-run order-independence of vector-based transition systems + (26 June 2014 03:43:49)
- Publications:Formal analysis of non-determinism in Verilog cell library simulation models + (26 June 2014 03:43:49)
- Publications:Model checking Verilog descriptions of cell libraries + (26 June 2014 03:43:50)
- Publications:Integrating Model-Based and Constraint-Based Testing Using SpecExplorer + (26 June 2014 03:43:51)
- Publications:Mechanized Extraction of Topology Anti-patterns in Wireless Networks + (26 June 2014 03:43:51)
- Publications:Dynamic Self-Rescheduling of Tasks over a Heterogeneous Platform + (26 June 2014 03:43:52)
- Publications:Real-time task reconfiguration support applied to an UAV-based surveillance system + (26 June 2014 03:43:52)
- Publications:Coordination Mechanism and Customizable Hardware Platform to Provide Heterogeneous Wireless Sensor Networks Support + (26 June 2014 03:43:53)
- Publications:Supporting platform for heterogeneous sensor network operation based on unmanned vehicles systems and wireless sensor nodes + (26 June 2014 03:43:53)
- Publications:Dynamic activity and task allocation supporting uav teams in surveillance systems + (26 June 2014 03:43:54)
- Publications:Mobile Agents Model and Performance Analysis of a Wireless Sensor Network Target Tracking Application + (26 June 2014 03:43:55)
- Publications:Middleware Support in Unmanned Aerial Vehicles and Wireless Sensor Networks for Surveillance Applications + (26 June 2014 03:43:55)
- Publications:Analyzing different levels of geographic context awareness in agent ferrying over VANETs + (26 June 2014 03:43:56)
- Publications:Decentralized task distribution among cooperative UAVs in surveillance systems applications + (26 June 2014 03:43:56)
- Publications:An agent framework to support sensor networks' setup and adaptation + (26 June 2014 03:43:57)
- Publications:UAV relay network to support WSN connectivity + (26 June 2014 03:43:58)
- Publications:Enhanced Wireless Sensor Network Setup Strategy Supported by Intelligent Software Agents + (26 June 2014 03:43:58)
- Publications:Pheromone-based coordination strategy to static sensors on the ground and unmanned aerial vehicles carried sensors + (26 June 2014 03:43:59)
