Sciweavers

ENTCS
2008
90views more  ENTCS 2008»
13 years 3 months ago
Formal Verification of Websites
In this paper, a model for websites is presented. The model is well-suited for the formal verification of dynamic as well as static properties of the system. A website is defined ...
Sonia Flores, Salvador Lucas, Alicia Villanueva
ENTCS
2010
141views more  ENTCS 2010»
13 years 3 months ago
Debugging as a Science, that too, when your Program is Changing
Program debugging is an extremely time-consuming process, and it takes up a large portion of software development time. In practice, debugging is still very much of an art, with t...
Abhik Roychoudhury
ENTCS
2010
84views more  ENTCS 2010»
13 years 3 months ago
Resource Modeling for Timed Creol Models
This paper describes the semantics of a timed, resource-constrained extension of the Creol modeling language. Creol is an object-oriented modeling language with a design that is s...
Rudolf Schlatte, Bernhard K. Aichernig, Andreas Gr...
ENTCS
2010
120views more  ENTCS 2010»
13 years 3 months ago
Credo Methodology: Modeling and Analyzing A Peer-to-Peer System in Credo
Credo offers tools and techniques to model and analyze highly reconfigurable distributed systems. In this paper, we present an integrated methodology to use the Credo tool suite. ...
Immo Grabe, Mohammad Mahdi Jaghoori, Bernhard K. A...
ENTCS
2010
91views more  ENTCS 2010»
13 years 3 months ago
A Unified Display Proof Theory for Bunched Logic
We formulate a unified display calculus proof theory for the four principal varieties of bunched logic by combining display calculi for their component logics. Our calculi satisfy...
James Brotherston
ENTCS
2010
89views more  ENTCS 2010»
13 years 3 months ago
Coalgebraic Representation Theory of Fractals
Ichiro Hasuo, Bart Jacobs, Milad Niqui
ENTCS
2010
74views more  ENTCS 2010»
13 years 3 months ago
Fairness, Resources, and Separation
Stephen Brookes
ENTCS
2010
77views more  ENTCS 2010»
13 years 3 months ago
Understanding Game Semantics Through Coherence Spaces
Ana C. Calderon, Guy McCusker
ENTCS
2010
94views more  ENTCS 2010»
13 years 3 months ago
Future Path-components in Directed Topology
The global states of complex systems often form pospaces, topological spaces equipped with compatible partial orders reflecting causal relationships between the states. The calcul...
Eric Goubault, Emmanuel Haucourt, Sanjeevi Krishna...
ENTCS
2010
114views more  ENTCS 2010»
13 years 3 months ago
On Rule Formats for Zero and Unit Elements
This paper proposes a rule format for Structural Operational Semantics guaranteeing that certain constants act as left or right zero elements for a set of binary operators. Our de...
Luca Aceto, Matteo Cimini, Anna Ingólfsd&oa...