Foundations of Software Technology and Theoretical Computer Science [[electronic resource] ] : 12th Conference, New Delhi, India, December 18-20, 1992. Proceedings / / edited by Rudrapatna Shyamasundar |
Edizione | [1st ed. 1992.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1992 |
Descrizione fisica | 1 online resource (XV, 409 p.) |
Disciplina | 004.0151 |
Collana | Lecture Notes in Computer Science |
Soggetto topico |
Computers
Software engineering Computer logic Programming languages (Electronic computers) Mathematical logic Theory of Computation Software Engineering/Programming and Operating Systems Logics and Meanings of Programs Computation by Abstract Devices Programming Languages, Compilers, Interpreters Mathematical Logic and Formal Languages |
ISBN | 3-540-47507-9 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | System specification and refinement in temporal logic -- Fixed points of Büchi automata -- An automata-theoretic decision procedure for Future Interval Logic -- Improving the results of static analyses of programs by local decreasing iterations -- Implicit point location in arrangements of line segments, with an application to motion planning -- An optimal algorithm for the intersection radius of a set of convex polygons -- C-sensitive triangulations approximate the minmax length triangulation -- Superpolynomial circuits, almost sparse oracles and the exponential hierarchy -- Structural average case complexity -- On bounded truth-table, conjunctive, and randomized reductions to sparse sets -- One-way functions and isomorphism conjecture -- Solving the Lagrangian dual when the number of constraints is fixed -- Superfiniteness of query answers in deductive databases: An automata-theoretic approach -- Proving polynomials positive -- An abstract interpretation scheme for groundness, freeness, and sharing analysis of logic programs -- Polymorphic typing by abstract interpretation -- The Gallina specification language: A case study -- Verification of large software systems -- Detection of unstable predicates in distributed programs -- Fast sequential and randomised parallel algorithms for rigidity and approximate min k-cut -- Approximation through local optimality: Designing networks with small degree -- Games and full Completeness for multiplicative Linear Logic -- Real-time calculi and expansion theorems -- Branching bisimulation for context-free processes -- CCS, locations and asynchronous transition systems -- Reasoning about safety and liveness properties for probabilistic processes -- String matching under a general matching relation -- On the complexity of Certified Write All Algorithms -- Selection from read-only memory and sorting with optimum data movement -- Some observations on 2-way probabilistic finite automata -- Recent developments in algorithms for the maximum-flow problem. |
Record Nr. | UNISA-996466087303316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1992 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
Information Systems Security [[electronic resource] ] : 10th International Conference, ICISS 2014, Hyderabad, India, December 16-20, 2014. Proceedings / / edited by Atul Prakash, Rudrapatna Shyamasundar |
Edizione | [1st ed. 2014.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2014 |
Descrizione fisica | 1 online resource (XXIV, 478 p. 163 illus.) |
Disciplina | 005.8 |
Collana | Security and Cryptology |
Soggetto topico |
Computer security
Data encryption (Computer science) Computer communication systems Systems and Data Security Cryptology Computer Communication Networks |
ISBN | 3-319-13841-3 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Security inferences -- Security policies -- Security user interfaces -- Security attacks -- Malware detection -- Forensics.- Location based security services. |
Record Nr. | UNISA-996211264803316 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2014 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
Information Systems Security : 10th International Conference, ICISS 2014, Hyderabad, India, December 16-20, 2014. Proceedings / / edited by Atul Prakash, Rudrapatna Shyamasundar |
Edizione | [1st ed. 2014.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2014 |
Descrizione fisica | 1 online resource (XXIV, 478 p. 163 illus.) |
Disciplina | 005.8 |
Collana | Security and Cryptology |
Soggetto topico |
Computer security
Data encryption (Computer science) Computer communication systems Systems and Data Security Cryptology Computer Communication Networks |
ISBN | 3-319-13841-3 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Security inferences -- Security policies -- Security user interfaces -- Security attacks -- Malware detection -- Forensics.- Location based security services. |
Record Nr. | UNINA-9910484083303321 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2014 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|