MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "Fragments of Language." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

396 documents found, showing 1 through 10. Next 10 →

ATOM

Concrete syntax for the CARE fragment language
by David Hemer — 1995
… Queensland 4072 Australia TECHNICAL REPORT 95-14 Concrete syntax for the Care fragment language David Hemer…
Cited by 2 (2 self) – Add To MetaCart

A formal foundation for XrML
by Joseph Y. Halpern, Vicky Weissman — 2004 — In Proc. 17th IEEE Computer Security Foundations Workshop
… fragment of the language and use it to highlight some problematic aspects of the algorithm. We then correct…
Cited by 13 (4 self) – Add To MetaCart

Testing Theories for Asynchronous Languages
by Ilaria Castellani, Matthew Hennessy — 1998 — In the Proc. of FSTTCS'98, LNCS 1530
… used to obtain equational theories for the nite fragment of the language. 1 Introduction…
Cited by 13 (1 self) – Add To MetaCart

A formal foundation for odrl
by Riccardo Pucella, Vicky Weissman — 2004 — Proc. Workshop on Issues in the Theory of Security (WITS
… semantics for a representative fragment of the language. We also define when a permission is implied by a…
Cited by 6 (0 self) – Add To MetaCart

Testing Theories for Asynchronous Languages
by Ilaria Castellani And, Ilaria Castellani, Matthew Hennessy — 1998 — In the Proc. of FSTTCS'98, LNCS 1530
… used to obtain equational theories for the nite fragment of the language. 1 Introduction…
Add To MetaCart

Linearity in Process Languages
by Mikkel Nygaard, Glynn Winskel — 2002 — In Proc. LICS’02
…Linearity in Process Languages Mikkel Nygaard Glynn Winskel BRICS # , University of Aarhus Computer…
Cited by 11 (7 self) – Add To MetaCart

.stacs-conf.org FRAGMENTS OF FIRST-ORDER LOGIC OVER INFINITE WORDS (EXTENDED ABSTRACT)
by Volker Diekert, Manfred Kufleitner
… the above fragments to language classes of certain (unambiguous) polynomials. An immediate consequence…
Add To MetaCart

Blog: Probabilistic models with unknown objects
by Brian Milch, Bhaskara Marthi, Stuart Russell, David Sontag, Daniel L. Ong, Andrey Kolobov — 2005 — In IJCAI
… inference algorithms exist for a large fragment of the language. We also introduce a probabilistic form…
Cited by 46 (3 self) – Add To MetaCart

Translating java code to graph transformation systems
by Andrea Corradini, O Luís Dotti, Luciana Foss, Leila Ribeiro — 2004 — In Proc. of ICGT ’04, LNCS 3256
… of Java programs (written in a suitable fragment of the language) to Graph Transformation Systems. Every…
Cited by 5 (0 self) – Add To MetaCart

Timed automaton models for simple programmable logic controllers
by Angelika Mader, Hanno Wupper — 1999 — in the Proceedings of the Euromicro Conference on Real-Time Systems that was held in York (UK) on
… Controller (PLC) applications, that are programmed in a simple fragment of the language Instruction Lists…
Cited by 12 (2 self) – Add To MetaCart

Showing 1 through 10. Next 10 →

ATOM

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB