Sciweavers

1022 search results - page 69 / 205
» Specification of Dynamics for Knowledge-Based Systems
Sort
View
ATAL
2010
Springer
13 years 10 months ago
Exploiting scale invariant dynamics for efficient information propagation in large teams
Large heterogeneous teams will often be in situations where sensor data that is uncertain and conflicting is shared across a peer-to-peer network. Not every team member will have ...
Robin Glinton, Paul Scerri, Katia P. Sycara
POPL
2008
ACM
14 years 9 months ago
Enhancing modular OO verification with separation logic
Conventional specifications for object-oriented (OO) programs must adhere to behavioral subtyping in support of class inheritance and method overriding. However, this requirement ...
Wei-Ngan Chin, Cristina David, Huu Hai Nguyen, She...
CIC
2004
13 years 10 months ago
Dynamic Characteristics of k-ary n-cube Networks for Real-time Communication
Overlay topologies are now popular with many emerging peer-to-peer (P2P) systems, to efficiently locate and retrieve information. In contrast, the focus of this work is to use ove...
Gerald Fry, Richard West
CCE
2008
13 years 9 months ago
Dynamic modelling and control of planar anode-supported solid oxide fuel cell
Most solid oxide fuel cell (SOFC) modelling efforts emphasize steady-state cell operation. However, understanding the dynamic behaviour is essential to predict the performance and...
A. Chaisantikulwat, C. Diaz-Goano, E. S. Meadows
SIMULATION
2011
13 years 4 months ago
The Activity-tracking paradigm in discrete-event modeling and simulation: The case of spatially continuous distributed systems
From a modelling and simulation perspective, studying dynamic systems consists of focusing on changes in states. According to the precision of state changes, generic algorithms ca...
Alexandre Muzy, Rajanikanth Jammalamadaka, Bernard...