Exact and Portable Profiling for the JVM Using Bytecode Instruction Counting Fulltext Access 20 Pages 2006
Completeness and Counter-Example Generations of a Basic Protocol Logic: (Extended Abstract) Fulltext Access 20 Pages 2006
Topological Cones: Foundations for a Domain Theoretical Semantics Combining Probability and Nondeterminism Fulltext Access 21 Pages 2006
On the Relationship Between Web Services Security and Traditional Protocols Fulltext Access 21 Pages 2006
Injective Convergence Spaces and Equilogical Spaces via Pretopological Spaces Fulltext Access 21 Pages 2006
Communication Attitudes: A Formal Approach to Ostensible Intentions, and Individual and Group Opinions Fulltext Access 21 Pages 2006
A Constructive Object Oriented Modeling Language for Information Systems Fulltext Access 21 Pages 2006
Model-based Runtime Verification Framework for Self-optimizing Systems 1 Fulltext Access 21 Pages 2006
An Approach to Nondeterminism in Translation of CZ Set Theory into Martin-Löf 's Theory of Types Fulltext Access 21 Pages 2006
The minimum Manhattan network problem: Approximations and exact solutions Fulltext Access 21 Pages 2006
On Rota's conjecture and excluded minors containing large projective geometries Fulltext Access 21 Pages 2006
A general two-sided matching market with discrete concave utility functions Fulltext Access 21 Pages 2006
Defining relations of the noncommutative trace algebra of two 3×3 matrices Fulltext Access 21 Pages 2006
Stochastic Simulation Methods Applied to a Secure Electronic Voting Model Fulltext Access 21 Pages 2006
A new algorithmic approach to the computation of Minkowski functionals of polyconvex sets Fulltext Access 22 Pages 2006
Online competitive algorithms for maximizing weighted throughput of unit jobs Fulltext Access 22 Pages 2006
Two oiseau decompositions of permutations and their application to Eulerian calculus Fulltext Access 22 Pages 2006
Radiocolorings in periodic planar graphs: PSPACE-completeness and efficient approximations for the optimal range of frequencies Fulltext Access 22 Pages 2006
Towards a classification of recursive towers of function fields over finite fields Fulltext Access 22 Pages 2006
Recurrent methods for constructing irreducible polynomials over Fq of odd characteristics, II Fulltext Access 22 Pages 2006
Combinatorics, transvectants and superalgebras. An elementary constructive approach to Hilbert's finiteness theorem Fulltext Access 22 Pages 2006
Single machine scheduling with controllable release and processing parameters Fulltext Access 22 Pages 2006
An efficient implementation of a quasi-polynomial algorithm for generating hypergraph transversals and its application in joint generation Fulltext Access 23 Pages 2006
Minimum augmentation of local edge-connectivity between vertices and vertex subsets in undirected graphs Fulltext Access 23 Pages 2006
A duality between q-multiplicities in tensor products and q-multiplicities of weights for the root systems B,C or D Fulltext Access 23 Pages 2006
Initializing Mutually Referential Abstract Objects: The Value Recursion Challenge Fulltext Access 23 Pages 2006
Bigraphical Semantics of Higher-Order Mobile Embedded Resources with Local Names 1 Fulltext Access 23 Pages 2006
Reasoning About Partial Functions in the Formal Development of Programs Fulltext Access 23 Pages 2006
On the mean number of encryptions for tree-based broadcast encryption schemes Fulltext Access 24 Pages 2006