Search results for "prova"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
155	Alexander Kozlenkov, Rafael Peñaloza, Vivek Nigam, Loïc Royer, Gihan Dawelbait, Michael Schroeder 0001	Prova: Rule-Based Java Scripting for Distributed Web Applications: A Case Study in Bioinformatics.	EDBT Workshops	2006	DBLP DOI BibTeX RDF
81	Alexander Kozlenkov, Michael Schroeder 0001	PROVA: Rule-Based Java-Scripting for a Bioinformatics Semantic Web.	DILS	2004	DBLP DOI BibTeX RDF
80	Flavio Miyamaru, Leonardo A. F. Leite, André Bertuzzi, Lucia Filgueiras	Mídia cruzada em serviços de governo: conceito e aplicação.	IHC	2008	DBLP BibTeX RDF	X-gov, governo eletrônico prova de conceito, mídia cruzada
62	Lukas Grätz, Harold Boley, Adrian Paschke	PSOA Prova: PSOA Translation of Pure Production Rules to the Prova Engine.	RuleML+RR (Supplement)	2018	DBLP BibTeX RDF
40	Nibula Bente Rashid, Joyeeta Saha, Raonak Islam Prova, Nowshin Tasfia, Md. Nazrul Huda Shanto, Jannatun Noor	Towards Devising A Fund Management System Using Blockchain.	CoRR	2022	DBLP DOI BibTeX RDF
40	Abdullah Al Imran, Zaman Wahid, Alpana Akhi Prova, Md. Hannan	Harnessing the meteorological effect for predicting the retail price of rice in Bangladesh.	Int. J. Bus. Intell. Data Min.	2022	DBLP DOI BibTeX RDF
40	Jannatul Ferdous Shanu, Ayesha Aziz Prova	Cervical Cancerous Cell Detection Using Enhanced Classification and Embedded Deep Learning Method.	ICACIS	2022	DBLP DOI BibTeX RDF
40	Raktim Raihan Prova, A. S. M. Rayhan, Rafia Sultana Shilon, Mohammad Monirujjaman Khan	A Web and Mobile Based Approach to Redistribute Consumable Food Waste.	ICCCNT	2021	DBLP DOI BibTeX RDF
40	Tanhim Islam, Tanjir Alam Chisty, Prova Roy, Israt Sahira Rafa, Abdulla Hil Kafi, Raihana Shams Islam Antara	Sasthyakathan - A Health Based Social Robot.	ICCE	2019	DBLP DOI BibTeX RDF
40	Arnab Debnath, Khadija Tul Kobra, Proteeti Prova Rawshan, Manisha Paramita, Muhammad Nazrul Islam	An Explication of Acceptability of Wearable Devices in Context of Bangladesh: A User Study.	FiCloud	2018	DBLP DOI BibTeX RDF
31	Theodoros Mitsikas, Ralph Schäfermeier, Adrian Paschke	Modeling a GDPR Compliant Data Wallet Application in Prova and AspectOWL.	Rev. Socionetwork Strateg.	2023	DBLP DOI BibTeX RDF
31	Gerhard Kober, Livio Robaldo, Adrian Paschke	Modeling Medical Guidelines by Prova and SHACL Accessing FHIR/RDF. Use Case: The Medical ABCDE Approach.	dHealth	2022	DBLP DOI BibTeX RDF
31	Ralph Schäfermeier, Theodoros Mitsikas, Adrian Paschke	Modeling a GDPR Compliant Data Wallet Application in Prova and AspectOWL.	RuleML+RR (Companion)	2022	DBLP BibTeX RDF
31	Ana Isa Dias Meireles	A prova digital no processo judicial		2022	RDF
31	Gerhard Kober, Adrian Paschke	Representing and executing a Medical Guideline using Prova.	RuleML+RR (Supplement)	2021	DBLP BibTeX RDF
31	Gerhard Kober, Adrian Paschke	Using PROVA-Rule Engine as Dispatching-Service for FHIR-Observation-Resources.	RuleML+RR (Supplement)	2020	DBLP BibTeX RDF
31	Danilo Guerrera, Antonio Maffia, Helmar Burkhart	Reproducible stencil compiler benchmarks using prova!	Future Gener. Comput. Syst.	2019	DBLP DOI BibTeX RDF
31	Dimitris Tsolkas, Nikos I. Passas, Lazaros F. Merakos	ProVa: A proximity validation approach for enhanced device discovery.	PIMRC	2016	DBLP DOI BibTeX RDF
31	Danilo Guerrera, Helmar Burkhart, Antonio Maffia	Reproducible Stencil Compiler Benchmarks Using PROVA!	PMBS@SC	2016	DBLP DOI BibTeX RDF
31	Adrian Paschke	Provalets - OSGi-Based Prova Agents for Rule-Based Data Access.	OTM Conferences	2015	DBLP DOI BibTeX RDF
31	Andréia Fogaça Rodrigues Maricato	The impacts of changes in instrumental duties with tax computerization: recording tax credit; and tax-barred evidence (Os impactos das mudanças nos deveres instrumentais com a informatização fiscal: constituição do crédito tributário; prescrição e decadência; e prova tributária).		2014	RDF
31	Tarciso Aparecido Higino de Carvalho	A autenticidade da informação no processo de produção de prova testemunhal no inquérito parlamentar.		2014	RDF
31	Marcela Quispe-Cruz	Alguns resultados en Teoria de Prova Baseado em Grafos.		2014	RDF
31	Haydée Werneck Poubel, Paulo Augusto Silva Veloso	Sobre o Teorema da Modularização: Importância e uma Prova por Quociente.	SBES	1993	DBLP DOI BibTeX RDF
31	Adrian Paschke	Rule responder HCLS eScience infrastructure.	ICPW	2008	DBLP DOI BibTeX RDF	HCLS, Prova, pragmatic agent web, reaction RuleML, representation languages, rule interchange format, multi agent systems, collaboration, coordination, complex event processing, eScience
31	Adrian Paschke, Harold Boley, Alexander Kozlenkov, Benjamin Larry Craig	Rule responder: RuleML-based agents for distributed collaboration on the pragmatic web.	ICPW	2007	DBLP DOI BibTeX RDF	pragmatic agent web, prova, reaction RuleML, representation languages, rule interchange format, multi agent systems, coordination, complex event processing
25	Benjamin Larry Craig, Harold Boley	Personal Agents in the Rule Responder Architecture.	RuleML	2008	DBLP DOI BibTeX RDF
25	Gary Hallmark, Christian de Sainte Marie, Marcos Didonet Del Fabro, Patrick Albert, Adrian Paschke	Please Pass the Rules: A Rule Interchange Demonstration.	RuleML	2008	DBLP DOI BibTeX RDF	Rule Interchange, Web Rules, General Rule Markup Language, Rule Standard Language
25	Benjamin Larry Craig	The OO jDREW Engine of Rule Responder: Naf Hornlog RuleML Query Answering.	RuleML	2007	DBLP DOI BibTeX RDF