Sciweavers

3809 search results - page 299 / 762
» Associative language descriptions
Sort
View
RP
2009
Springer
110views Control Systems» more  RP 2009»
16 years 1 months ago
Formalisms for Specifying Markovian Population Models
Abstract. We compare several languages for specifying Markovian population models such as queuing networks and chemical reaction networks. These languages —matrix descriptions, s...
Thomas A. Henzinger, Barbara Jobstmann, Verena Wol...
ICDE
2008
IEEE
165views Database» more  ICDE 2008»
16 years 1 months ago
Semantic Web and firewall alignment
— Secure Semantic Web applications, particularly those involving access control, are typically focused at the application-domain only, rather than taking a more holistic approach...
Simon N. Foley, William M. Fitzgerald
ICTAI
2007
IEEE
16 years 1 months ago
Enriching OWL Ontologies with Linguistic and User-Related Annotations: The ELEON System
This paper introduces ELEON, an editor that allows the enrichment of OWL ontologies with linguistic and user-related annotations. The enriched ontologies are used by natural langu...
Dimitris Bilidas, Maria Theologou, Vangelis Karkal...
ESWS
2007
Springer
16 years 27 days ago
An Ontology for Executable Business Processes
Abstract The Web Service Business Process Execution Language (WSBPEL) is the de facto standard for describing workflow-like compositions of Web services, so-called Web service orc...
Jörg Nitzsche, Daniel Wutke, Tammo van Lessen
ITICSE
2005
ACM
16 years 9 days ago
Interactive manipulation of regular objects with FAdo
FAdo1 is an ongoing project which aims the development of an interactive environment for symbolic manipulation of formal languages. In this paper we focus in the description of in...
Nelma Moreira, Rogério Reis