All public logs

From CERES

Combined display of all available logs of CERES. You can narrow down the view by selecting a log type, the username (case-sensitive), or the affected page (also case-sensitive).

Logs

All public logs Block log Deletion log Import log Merge log Move log Patrol log Protection log Upload log User creation log User merge log User rights log Performer:  Target (title or user):   Search titles starting with this text

From year (and earlier): From month (and earlier): all January February March April May June July August September October November December

(newest | oldest) View (newer 50 | older 50) (20 | 50 | 100 | 250 | 500)

• 04:44, 26 June 2014 Slawek (Talk | contribs) automatically marked revision 4191 of page Publications:Act normal : using uncertainty about driver intentions as a warning criterion patrolled
• 04:44, 26 June 2014 Slawek (Talk | contribs) automatically marked revision 4192 of page Publications:Model-based estimation of driver intentions using particle filtering patrolled
• 04:44, 26 June 2014 Slawek (Talk | contribs) automatically marked revision 4189 of page Publications:Dependable Automotive Systems based on Model Certified Components patrolled
• 04:44, 26 June 2014 Slawek (Talk | contribs) automatically marked revision 4190 of page Publications:A Spatial QoS Requirements Specification for V2V Applications patrolled
• 04:44, 26 June 2014 Slawek (Talk | contribs) automatically marked revision 4188 of page Publications:Cooperative partly automated and coordinated vehicles and transports patrolled
• 04:44, 26 June 2014 Slawek (Talk | contribs) automatically marked revision 4186 of page Publications:A Two Level Approach to the Design of Software for Cooperating Embedded Systems patrolled
• 04:44, 26 June 2014 Slawek (Talk | contribs) automatically marked revision 4187 of page Publications:Surveillance of mobile objects using coordinated wireless sensor nodes patrolled
• 04:44, 26 June 2014 Slawek (Talk | contribs) automatically marked revision 4184 of page Publications:System and method for reducing coupling between modules in a telecommunications environment patrolled
• 04:44, 26 June 2014 Slawek (Talk | contribs) automatically marked revision 4185 of page Publications:System and method for dynamic sharing of core connection resources patrolled
• 04:44, 26 June 2014 Slawek (Talk | contribs) automatically marked revision 4182 of page Publications:System and method for dynamic sharing of connection resources patrolled
• 04:44, 26 June 2014 Slawek (Talk | contribs) automatically marked revision 4183 of page Publications:System and method for reducing coupling in an object-oriented programming environment patrolled
• 04:44, 26 June 2014 Slawek (Talk | contribs) automatically marked revision 4180 of page Publications:Middleware Support for Wireless Sensor Networks : a survey patrolled
• 04:44, 26 June 2014 Slawek (Talk | contribs) automatically marked revision 4181 of page Publications:Use of Local Intelligence to Reduce Energy Consumption of Wireless Sensor Nodes in Elderly Health Monitoring Systems patrolled
• 04:44, 26 June 2014 Slawek (Talk | contribs) automatically marked revision 4179 of page Publications:Experimental Analysis of a Wireless Sensor Network Setup Strategy Provided by an Agent-Oriented Middleware patrolled
• 04:44, 26 June 2014 Slawek (Talk | contribs) automatically marked revision 4177 of page Publications:On the requirements on models and simulator design for integrated VANET Simulation patrolled
• 04:44, 26 June 2014 Slawek (Talk | contribs) automatically marked revision 4178 of page Publications:Enhanced pheromone-based mechanism to coordinate UAVs and WSN nodes on the ground patrolled
• 04:44, 26 June 2014 Slawek (Talk | contribs) automatically marked revision 4175 of page Publications:Experimental Analysis of Coordination Strategies to Support Wireless Sensor Networks Composed by Static Ground Sensors and UAV-Carried Sensors patrolled
• 04:44, 26 June 2014 Slawek (Talk | contribs) automatically marked revision 4176 of page Publications:Multi-agents supporting reflection in a middleware for mission-driven heterogeneous sensor networks patrolled
• 04:43, 26 June 2014 Slawek (Talk | contribs) automatically marked revision 4173 of page Publications:Evaluation of coordination strategies for heterogeneous sensor networks aiming at surveillance applications patrolled
• 04:43, 26 June 2014 Slawek (Talk | contribs) automatically marked revision 4174 of page Publications:Pheromone-based coordination strategy to static sensors on the ground and unmanned aerial vehicles carried sensors patrolled
• 04:43, 26 June 2014 Slawek (Talk | contribs) automatically marked revision 4171 of page Publications:Enhanced Wireless Sensor Network Setup Strategy Supported by Intelligent Software Agents patrolled
• 04:43, 26 June 2014 Slawek (Talk | contribs) automatically marked revision 4172 of page Publications:UAV relay network to support WSN connectivity patrolled
• 04:43, 26 June 2014 Slawek (Talk | contribs) automatically marked revision 4170 of page Publications:An agent framework to support sensor networks' setup and adaptation patrolled
• 04:43, 26 June 2014 Slawek (Talk | contribs) automatically marked revision 4168 of page Publications:Analyzing different levels of geographic context awareness in agent ferrying over VANETs patrolled
• 04:43, 26 June 2014 Slawek (Talk | contribs) automatically marked revision 4169 of page Publications:Decentralized task distribution among cooperative UAVs in surveillance systems applications patrolled
• 04:43, 26 June 2014 Slawek (Talk | contribs) automatically marked revision 4166 of page Publications:Mobile Agents Model and Performance Analysis of a Wireless Sensor Network Target Tracking Application patrolled
• 04:43, 26 June 2014 Slawek (Talk | contribs) automatically marked revision 4167 of page Publications:Middleware Support in Unmanned Aerial Vehicles and Wireless Sensor Networks for Surveillance Applications patrolled
• 04:43, 26 June 2014 Slawek (Talk | contribs) automatically marked revision 4164 of page Publications:Supporting platform for heterogeneous sensor network operation based on unmanned vehicles systems and wireless sensor nodes patrolled
• 04:43, 26 June 2014 Slawek (Talk | contribs) automatically marked revision 4165 of page Publications:Dynamic activity and task allocation supporting uav teams in surveillance systems patrolled
• 04:43, 26 June 2014 Slawek (Talk | contribs) automatically marked revision 4163 of page Publications:Coordination Mechanism and Customizable Hardware Platform to Provide Heterogeneous Wireless Sensor Networks Support patrolled
• 04:43, 26 June 2014 Slawek (Talk | contribs) automatically marked revision 4161 of page Publications:Dynamic Self-Rescheduling of Tasks over a Heterogeneous Platform patrolled
• 04:43, 26 June 2014 Slawek (Talk | contribs) automatically marked revision 4162 of page Publications:Real-time task reconfiguration support applied to an UAV-based surveillance system patrolled
• 04:43, 26 June 2014 Slawek (Talk | contribs) automatically marked revision 4159 of page Publications:Integrating Model-Based and Constraint-Based Testing Using SpecExplorer patrolled
• 04:43, 26 June 2014 Slawek (Talk | contribs) automatically marked revision 4160 of page Publications:Mechanized Extraction of Topology Anti-patterns in Wireless Networks patrolled
• 04:43, 26 June 2014 Slawek (Talk | contribs) automatically marked revision 4157 of page Publications:Long-run order-independence of vector-based transition systems patrolled
• 04:43, 26 June 2014 Slawek (Talk | contribs) automatically marked revision 4158 of page Publications:Model checking Verilog descriptions of cell libraries patrolled
• 04:43, 26 June 2014 Slawek (Talk | contribs) automatically marked revision 4156 of page Publications:Formal analysis of non-determinism in Verilog cell library simulation models patrolled
• 04:43, 26 June 2014 Slawek (Talk | contribs) automatically marked revision 4154 of page Publications:Order-independence of vector-based transition systems patrolled
• 04:43, 26 June 2014 Slawek (Talk | contribs) automatically marked revision 4155 of page Publications:Symbolic Power Analysis of Cell Libraries patrolled
• 04:43, 26 June 2014 Slawek (Talk | contribs) automatically marked revision 4152 of page Publications:Analytical software design : introduction and industrial experience report patrolled
• 04:43, 26 June 2014 Slawek (Talk | contribs) automatically marked revision 4153 of page Publications:Checking and deriving module paths in Verilog cell library descriptions patrolled
• 04:43, 26 June 2014 Slawek (Talk | contribs) automatically marked revision 4150 of page Publications:Decomposability in Input Output Conformance Testing patrolled
• 04:43, 26 June 2014 Slawek (Talk | contribs) automatically marked revision 4151 of page Publications:On the Complexity of Input Output Conformance Testing patrolled
• 04:43, 26 June 2014 Slawek (Talk | contribs) automatically marked revision 4148 of page Publications:Synchrony and asynchrony in conformance testing patrolled
• 04:43, 26 June 2014 Slawek (Talk | contribs) automatically marked revision 4149 of page Publications:Synchronizing Asynchronous Conformance Testing patrolled
• 04:43, 26 June 2014 Slawek (Talk | contribs) automatically marked revision 4147 of page Publications:Proceedings of Formal Methods 2009 Doctoral Symposium : November 6, 2009: Eindhoven, The Netherlands patrolled
• 04:43, 26 June 2014 Slawek (Talk | contribs) automatically marked revision 4145 of page Publications:PARS : a process algebraic approach to resources and schedulers patrolled
• 04:43, 26 June 2014 Slawek (Talk | contribs) automatically marked revision 4146 of page Publications:Proceedings Ninth International Workshop on the Foundations of Coordination Languages and Software Architectures : Paris, France, 4th September 2010 patrolled
• 04:43, 26 June 2014 Slawek (Talk | contribs) automatically marked revision 4143 of page Publications:Notions of bisimulation and congruence formats for SOS with data patrolled
• 04:43, 26 June 2014 Slawek (Talk | contribs) automatically marked revision 4144 of page Publications:Orthogonal extensions in structural operational semantics patrolled

(newest | oldest) View (newer 50 | older 50) (20 | 50 | 100 | 250 | 500)