Study of the periodic ferroresonance in the electrical power networks by bifurcation diagrams Fulltext Access 25 Pages 2011
A characterization of computable analysis on unbounded domains using differential equations Fulltext Access 25 Pages 2011
Validation and verification of Web services choreographies by using timed automata Fulltext Access 25 Pages 2011
Decision-theoretic planning with generalized first-order decision diagrams Fulltext Access 25 Pages 2011
Mechanism design for the truthful elicitation of costly probabilistic estimates in distributed information systems Fulltext Access 25 Pages 2011
Local search with edge weighting and configuration checking heuristics for minimum vertex cover Fulltext Access 25 Pages 2011
simpA: An agent-oriented approach for programming concurrent applications on top of Java Fulltext Access 26 Pages 2011
Probabilistic coherence spaces as a model of higher-order probabilistic computation Fulltext Access 26 Pages 2011
Synthesis and infeasibility analysis for stochastic models of biochemical systems using statistical model checking and abstraction refinement Fulltext Access 26 Pages 2011
Building a peer-to-peer content distribution network with high performance, scalability and robustness Fulltext Access 26 Pages 2011
The pervasive reach of resource-bounded Kolmogorov complexity in computational complexity theory Fulltext Access 27 Pages 2011
Multi-stage programming with functors and monads: Eliminating abstraction overhead from generic code Fulltext Access 27 Pages 2011
Incremental reasoning with lazy behavioral subtyping for multiple inheritance Fulltext Access 27 Pages 2011
Local closed world reasoning with description logics under the well-founded semantics Fulltext Access 27 Pages 2011
Verification of reactive systems via instantiation of Parameterised Boolean Equation Systems Fulltext Access 27 Pages 2011
On the ERA ranking representability of pairwise bipartite ranking functions Fulltext Access 28 Pages 2011
On the consistency, expressiveness, and precision of partial modeling formalisms Fulltext Access 28 Pages 2011
A condensed semantics for qualitative spatial reasoning about oriented straight line segments Fulltext Access 29 Pages 2011
A sound and complete model-generation procedure for consistent and confidentiality-preserving databases Fulltext Access 29 Pages 2011
Theoretical analysis of the lifetime and energy hole in cluster based wireless sensor networks Fulltext Access 29 Pages 2011
Weighted argument systems: Basic definitions, algorithms, and complexity results Fulltext Access 30 Pages 2011
Efficient solutions to factored MDPs with imprecise transition probabilities Fulltext Access 30 Pages 2011
CTRL: Extension of CTL with regular expressions and fairness operators to verify genetic regulatory networks Fulltext Access 30 Pages 2011
Computing the minimal relations in point-based qualitative temporal reasoning through metagraph closure Fulltext Access 30 Pages 2011
Synthesis of Reo circuits from scenario-based interaction specifications Fulltext Access 30 Pages 2011
Modular-E and the role of elaboration tolerance in solving the qualification problem Fulltext Access 30 Pages 2011
Bounded approximate decentralised coordination via the max-sum algorithm Fulltext Access 30 Pages 2011