Home Catalogue search

eng

Refine your search:
- Keyword
- Creator / Publisher:
- Year
- Medium
- Type
- BLLDB-Access:
  - free (18)
  - subject to license (0)

Search in the Catalogues and Directories






	Sort by
Simple Search

Hits 1 – 18 of 18

1	Checking Type Safety of Foreign Function Calls
	Michael Furr; Jeffrey S. Foster
	In: http://www.cs.umd.edu/~furr/papers/toplas-ffi.pdf (2008)
	BASE
	Show details

2	Checking type safety of foreign function calls
	Michael Furr; Jeffrey S. Foster
	In: http://www.cs.umd.edu/~jfoster/papers/toplas-ffi.pdf (2005)
	BASE
	Show details

3	EWD: A Metamodeling Driven Customizable Multi-MoC System Modeling Environment
	Deepak Mathaikutty; Hiren Patel; Sandeep Shukla...
	In: http://web.it.kth.se/~axel/papers/2007/ACMTODAES-MathaikuttyEWD.pdf (2004)
	BASE
	Show details

4	Trainable News Broadcast Boundary Identification Using Feature Density
	Advay V. Mengle; David Palmer
	In: http://web.mit.edu/advay/www/pub/siemens04-ref.pdf (2004)
	BASE
	Show details

5	An Ontology of Time for the Semantic Web
	Jerry R. Hobbs; Feng Pan
	In: http://www.isi.edu/~hobbs/time/pub/hobbs-pan-TALIP04.pdf (2004)
	BASE
	Show details

6	Syntactic Type Abstraction
	Dan Grossman; Greg Morrisett; Steve Zdancewic
	In: http://www-2.cs.cmu.edu/~rwh/courses/modules/papers/grossman-etal00/paper.pdf (2000)
	BASE
	Show details

7	A Graphical Environment for the Design of Concurrent Real-Time Systems
	L. E. Moser; Y. S. Ramakrishna; G. Kutty...
	In: http://lsi.ugr.es/~mcapel/docencia/doctorado/seguro/TL_artl/moserRamaKuttyMelliarDillon97.pdf (1997)
	BASE
	Show details

8	Authentication in distributed systems: Theory and practice
	Butler Lampson; Martin Abadi; Michael Burrows...
	In: http://people.cs.vt.edu/~gracanin/qualifier/2003/Lampson-1992.pdf (1992)
	BASE
	Show details

9	Complete inverted files for efficient text retrieval and analysis
	A. Blumer; J. Blumer; D. Haussler...
	In: http://www.cs.colostate.edu/~rmm/invertedFiles.pdf (1987)
	BASE
	Show details

10	Complete inverted files for efficient text retrieval and analysis
	A. Blumer; J. Blumer; D. Haussler...
	In: http://www.cbse.ucsc.edu/staff/haussler_pubs/complete-inverted-files.pdf (1987)
	BASE
	Show details

11	A Modular Verifiable Exception-Handling Mechanism
	Shaula Yemini; Daniel M. Berry
	In: http://se.math.uwaterloo.ca/~dberry/FTP_SITE/reprints.journals.conferences/YeminiBerry1985Mechanism.pdf (1985)
	BASE
	Show details

12	Persistent Queries in the Behavioral Theory of Algorithms
	Andreas Blass; Yuri Gurevich
	In: http://research.microsoft.com/en-us/um/people/gurevich/opera/196.pdf
	BASE
	Show details

13	Theory—Syntax; F.3.2 [Logics and Meanings of Programs]: Semantics of Programming Languages—Algebraic
	Andrew M. Pitts
	In: http://www.cl.cam.ac.uk/users/ap/papers/alpsri/alpsri.pdf
	BASE
	Show details

14	Symbolic Semantic Rules for Producing Compact STGLAs from Value Passing Process Descriptions
	Marco Bernardo
	In: http://www.sti.uniurb.it/bernardo/documents/acmtocl5.pdf
	BASE
	Show details

15	A Game-Theoretic Model of Referential Coherence and Its Empirical Verification Using Large Japanese and English Corpora
	Shun Shiramatsu; Kazunori Komatani; Tetsuya Ogata...
	In: http://winnie.kuis.kyoto-u.ac.jp/members/okuno/paper/ACMTSLT-0503-Shiramatsu.pdf
	BASE
	Show details

16	9Tool for Testing Bad Student Programs
	In: http://ceur-ws.org/Vol-1266/SQAMIA2014_Paper9.pdf
	BASE
	Show details

17	AA Rule-based Design Specification Language for Synthetic Biology
	Ernst Oberortner; Swapnil Bhatia; Erik Lindgren
	In: http://people.bu.edu/ernstl/pubs/journals/acm-jetc.pdf
	BASE
	Show details

18	Verified interoperable implementations of security protocols
	Cédric Fournet; Andrew D. Gordon; Stephen Tse
	In: http://research.microsoft.com/%7Ekarthb/pubs/verified-interoperable-implementations-toplas08.pdf
	BASE
	Show details

© 2013 - 2024 Lin|gu|is|tik | Imprint | Privacy Policy | Datenschutzeinstellungen ändern