Search results for "RSL"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
166	Abigail Parisaca Vargas, Ana Gabriela Garis, Silvia Lizeth Tapia Tarifa, Chris George	Model Checking LTL Formulae in RAISE with FDR.	IFM	2009	DBLP DOI BibTeX RDF	model checking, formal methods, refinement, tools, CSP, LTL, FDR, RAISE, RSL
131	Kazuo Sakiyama, Tatsuya Yagi, Kazuo Ohta	Fault Analysis Attack against an AES Prototype Chip Using RSL.	CT-RSA	2009	DBLP DOI BibTeX RDF	Random Switching Logic, Clock-based Attack, AES, Fault Analysis
131	Abigail Parisaca Vargas, Silvia Lizeth Tapia Tarifa, Chris George	A Translation from RSL to CSP.	SCCC	2008	DBLP DOI BibTeX RDF
113	Minoru Saeki, Daisuke Suzuki, Koichi Shimizu, Akashi Satoh	A Design Methodology for a DPA-Resistant Cryptographic LSI with RSL Techniques.	CHES	2009	DBLP DOI BibTeX RDF
96	Morten P. Lindegaard, Anne E. Haxthausen	Proof Support for RAISE by a Reuse Approach Based on Institutions.	AMAST	2004	DBLP DOI BibTeX RDF	proof support, Institutions, algebraic semantics, HOL, RSL
87	Jeffrey S. Poulin, Keith J. Werkman	Melding Structured Abstracts and World Wide Web for Retrieval of Reusable Components.	SSR	1995	DBLP DOI BibTeX RDF
61	Li Dan, Bernhard K. Aichernig	Combining Algebraic and Model-Based Test Case Generation.	ICTAC	2004	DBLP DOI BibTeX RDF	formal method, Test case generation, RAISE, RSL
61	Chang-Wook Han, Jung-Il Park	Fuzzy Granulation-Based Cascade Fuzzy Neural Networks Optimized by GA-RSL.	SETN	2006	DBLP DOI BibTeX RDF
61	Li Li 0024, Jifeng He 0001	A Denotational Semantics of Timed RSL Using Duration Calculus.	RTCSA	1999	DBLP DOI BibTeX RDF	software engineering, formal methods, Real-time requirements, design specification
52	Takayuki Okatani, Koichiro Deguchi	Variational Bayes Based Approach to Robust Subspace Learning.	CVPR	2007	DBLP DOI BibTeX RDF
52	Seoung-Hyeon Lee, Byung-Sun Choi, Jae-Seung Lee, Ki-Young Moon, Jae-Kwang Lee	VO Authentication Framework in Grid Environment Using Digital Signature.	ICCSA (2)	2006	DBLP DOI BibTeX RDF
52	Richard Zanibbi, Dorothea Blostein, James R. Cordy	The Recognition Strategy Language.	ICDAR	2005	DBLP DOI BibTeX RDF
52	Angkul Kongmunvattana, Nian-Feng Tzeng	Lazy Logging and Prefetch-Based Crash Recovery in Software Distributed Shared Memory Systems.	IPPS/SPDP	1999	DBLP DOI BibTeX RDF
44	Satyajit Acharya, Chris George, Hrushikesha Mohanty	Specifying a Mobile Computing Infrastructure and Services.	ICDCIT	2004	DBLP DOI BibTeX RDF	Mobicharts, Mobile Computing, Testing, Specification, RSL
44	Carlos Videira, Joáo Leonardo Carmo, Alberto Rodrigues da Silva	The ProjectIT-RSL Language Overview.	UML Satellite Activities	2004	DBLP DOI BibTeX RDF
44	Jesper Gørtz	Specifying Safety and Progress Properties with RSL.	FME	1994	DBLP DOI BibTeX RDF
43	Narayan C. Debnath, Laura Felice, German Montejano, Daniel Riesco	A Feature Model of E-Government Systems Integrated with Formal Specifications.	ITNG	2008	DBLP DOI BibTeX RDF	RSL Specification, Formal Specification, e-government, Feature Model
35	Richard Zanibbi, Dorothea Blostein, James R. Cordy	White-Box Evaluation of Computer Vision Algorithms through Explicit Decision-Making.	ICVS	2009	DBLP DOI BibTeX RDF	Performance Evaluation, Domain-Specific Languages, Scripting Languages, Document Recognition, Table Recognition
35	Kris Tiri, Patrick Schaumont	Changing the Odds Against Masked Logic.	Selected Areas in Cryptography	2006	DBLP DOI BibTeX RDF
35	Padraig J. O'Dowd, Adarsh Patil 0001, John P. Morrison	Managing MPICH-G2 Jobs with WebCom-G.	ISPDC	2005	DBLP DOI BibTeX RDF	WebCom-GI Globus, Scheduling and Fault Survival, MPI, Grid Portals, MPICH-G2
35	German Montejano, Robert Uzal, Daniel Riesco, Aristides Dasso, Ana Funes, Mario Peralta, Carlos Salgado, Narayan C. Debnath	Integrating balanced scorecard domain formalization with underlying project plan formalization.	AICCSA	2005	DBLP DOI BibTeX RDF
35	Bent Dandanell, Jesper Gørtz, Jan Storbank Pedersen, Eld Zierau 0001	Experience from Applications of RAISE.	FME	1993	DBLP DOI BibTeX RDF
27	Narayan C. Debnath, Oscar Testa, German Montejano, Daniel Riesco	Rigorous Definition/Specification in RAISE Specification Language of a Framework for Web Services about Geographic Information Systems.	ITNG	2010	DBLP DOI BibTeX RDF	Formal methods, GIS, Infrastructure, RSL
27	Satyajit Acharya, Chris George, Hrushikesha Mohanty	Domain Consistency in Requirements Specification.	QSIC	2005	DBLP DOI BibTeX RDF	Consistency Conditions, Testing, Specification, RAISE, RSL
27		RSL volume 17 issue 1 Cover and Back matter.	Rev. Symb. Log.	2024	DBLP DOI BibTeX RDF
27		RSL volume 17 issue 1 Cover and Front matter.	Rev. Symb. Log.	2024	DBLP DOI BibTeX RDF
27	Andre Rodrigues, Alberto Rodrigues da Silva	Validation of Rigorous Requirements Specifications and Document Automation with the ITLingo RSL Language.	CoRR	2023	DBLP DOI BibTeX RDF
27	Ana Catarina Gomes, Ana C. R. Paiva, Alberto Rodrigues da Silva	Generating Test Cases from Use Cases and Structured Scenarios: Experiences with the RSL Language.	ISD	2021	DBLP BibTeX RDF
27	Tim Yuqing Tang, Daniele De Martini, Dan Barnes, Paul Newman 0001	RSL-Net: Localising in Satellite Images From a Radar on the Ground.	IEEE Robotics Autom. Lett.	2020	DBLP DOI BibTeX RDF
27	Tim Y. Tang, Daniele De Martini, Dan Barnes, Paul Newman 0001	RSL-Net: Localising in Satellite Images From a Radar on the Ground.	CoRR	2020	DBLP BibTeX RDF
27	Alfarabi Imashev, Medet Mukushev, Vadim Kimmelman, Anara Sandygulova	A Dataset for Linguistic Understanding, Visual Evaluation, and Recognition of Sign Languages: The K-RSL.	CoNLL	2020	DBLP DOI BibTeX RDF
27	João Caramujo, Alberto Rodrigues da Silva, Shaghayegh Monfared, André Ribeiro, Pável Calado, Travis D. Breaux	RSL-IL4Privacy: a domain-specific language for the rigorous specification of privacy policies.	Requir. Eng.	2019	DBLP DOI BibTeX RDF
27	Ana C. R. Paiva, Daniel Maciel, Alberto Rodrigues da Silva	From Requirements to Automated Acceptance Tests with the RSL Language.	ENASE (Selected Papers)	2019	DBLP DOI BibTeX RDF
27	Alberto Rodrigues da Silva	Rigorous Specification of Use Cases with the RSL Language.	ISD	2019	DBLP BibTeX RDF
27	Alberto Rodrigues da Silva	Linguistic Patterns and Linguistic Styles for Requirements Specification (I): An Application Case with the Rigorous RSL/Business-Level Language.	EuroPLoP	2017	DBLP DOI BibTeX RDF
27	Dominik Erb, Karsten Scheibler, Michael A. Kochte, Matthias Sauer 0002, Hans-Joachim Wunderlich, Bernd Becker 0001	Mixed 01X-RSL-Encoding for fast and accurate ATPG with unknowns.	ASP-DAC	2016	DBLP DOI BibTeX RDF
27	Kamil Rybinski, Rafal Parol	RSL-DL: Representing Domain Knowledge for the Purpose of Code Generation.	KKIO Software Engineering Conference	2016	DBLP DOI BibTeX RDF
27	Anne E. Haxthausen	An Institution for Imperative RSL Specifications.	Specification, Algebra, and Software	2014	DBLP DOI BibTeX RDF
27	David de Almeida Ferreira, Alberto Rodrigues da Silva	RSL-PL: A linguistic pattern language for documenting software requirements.	RePa	2013	DBLP DOI BibTeX RDF
27	David de Almeida Ferreira, Alberto Rodrigues da Silva	RSL-IL: An interlingua for formally documenting requirements.	MoDRE	2013	DBLP DOI BibTeX RDF
27	Sushil Kumar Mishra, Jan Adam, Michaela Wimmerová, Jaroslav Koca	In Silico Mutagenesis and Docking Study of Ralstonia solanacearum RSL Lectin: Performance of Docking Software To Predict Saccharide Binding.	J. Chem. Inf. Model.	2012	DBLP DOI BibTeX RDF
27	David de Almeida Ferreira, Alberto Rodrigues da Silva	Formally Specifying Requirements with RSL-IL.	QUATIC	2012	DBLP DOI BibTeX RDF
27	Huan Liu, Yingcang Ma, Xuezhen Dai	Theory of Truth Degrees in Three Valued Formed System RSL.	RSKT	2012	DBLP DOI BibTeX RDF
27	David de Almeida Ferreira, Alberto Rodrigues da Silva	Use Case Driven Extension of ProjectIT-RSL to Support Behavioral Concerns.	SEKE	2011	DBLP BibTeX RDF
27	Narayan C. Debnath, Oscar Testa, German Montejano, Daniel Riesco, Wan D. Bae	Geographic Information Systems: RSL Services Definitions of a Framework for Web Services.	CATA	2011	DBLP BibTeX RDF
27	Katsuhiko Iwai, Mitsuru Shiozaki, Anh-Tuan Hoang, Kenji Kojima, Takeshi Fujino	Implementation and verification of DPA-resistant cryptographic DES circuit using Domino-RSL.	HOST	2011	DBLP DOI BibTeX RDF
27	Raquel de Miranda Barbosa, Antônio Carlos da Rocha Costa	Using RSL for the Formal Specification of PopOrg-based Multiagent Systems Organizations.	WEIT	2011	DBLP DOI BibTeX RDF
27	Raquel de Miranda Barbosa, Antônio Carlos da Rocha Costa, Patrícia Cabral de Azevedo Restelli Tedesco, Alexandre Cabral Mota	Usando CSP, RSL e o Modelo PopOrg na Especificação Formal de Organizações de SMAs.	RITA	2010	DBLP DOI BibTeX RDF
27	Daisuke Suzuki, Minoru Saeki, Koichi Shimizu, Akashi Satoh, Tsutomu Matsumoto	A Design Methodology for a DPA-Resistant Circuit with RSL Techniques.	IEICE Trans. Fundam. Electron. Commun. Comput. Sci.	2010	DBLP DOI BibTeX RDF
27	Kazuo Sakiyama, Kazuo Ohta	On Clock-Based Fault Analysis Attack for an AES Hardware Using RSL.	IEICE Trans. Fundam. Electron. Commun. Comput. Sci.	2010	DBLP DOI BibTeX RDF
27	David de Almeida Ferreira, Alberto Manuel Rodrigues da Silva	Survey on System Behavior Specification for Extending ProjectIT-RSL.	QUATIC	2010	DBLP DOI BibTeX RDF
27	Yingchao Shao, Zhongmin Xie, Keyun Qin	An Equivalent Form of Rough Logic System RSL.	RSKT	2010	DBLP DOI BibTeX RDF
27	Mohammad Reza Nami, Fatemeh Hassani	A comparative evaluation of the Z, CSP, RSL, and VDM languages.	ACM SIGSOFT Softw. Eng. Notes	2009	DBLP DOI BibTeX RDF
27	Narayan C. Debnath, Laura Felice, María Carmen Leonardi, María Virginia Mauco, German Montejano, Daniel Riesco	A Strategy to Derive RSL Specification from Feature Models.	SEDE	2009	DBLP BibTeX RDF
27	Kiruthika Ramanathan, Sheng Uei Guan	Enhancing Recursive Supervised Learning Using Clustering and Combinatorial Optimization (RSL-CC).	Engineering Evolutionary Intelligent Systems	2008	DBLP DOI BibTeX RDF
27	Chunyan Bai, Gui Liang Feng	Enhancing Sensor Network Security with RSL Codes.	TeNe	2008	DBLP DOI BibTeX RDF
27	Sun Meng, Bernhard K. Aichernig, Zhang Naixiao	Coalgebraic Component Specification and Verification in RSL.	PDCAT	2005	DBLP DOI BibTeX RDF	renunciation, group decision-makin, non-structural system
27	Mario Beron, Daniel Riesco, German Montejano, Narayan C. Debnath	Specification in RSL of a Tool based on Graphs for Reverse Engineering.	IASSE	2003	DBLP BibTeX RDF
27	Bradley J. Rhodes, Daniel Bullock	A Scalable Model of Cerebellar Adaptive Timing and Sequencing: The Recurrent Slide and Latch (RSL) Model.	Appl. Intell.	2002	DBLP DOI BibTeX RDF
27	Li Li	Towards a Denotational Semantics of Timed RSL Using Duration Calculus.	J. Comput. Sci. Technol.	2001	DBLP DOI BibTeX RDF
27	Christian P. Schinagl	VDM Specification of the Steam-Boiler Control Using RSL Notation.	Formal Methods for Industrial Applications	1995	DBLP DOI BibTeX RDF
27	Jeffrey S. Poulin, Kathryn P. Yglesias	Experiences with a faceted classification scheme in a large reusable software library (RSL).	COMPSAC	1993	DBLP DOI BibTeX RDF
27	H. J. Schuh	RSL - Ein Multimikroprozessorrechner.	Microcomputing	1979	DBLP BibTeX RDF
26	Daniel Riesco, German Montejano, Narayan C. Debnath, Manuel Pérez Cota	Formalizing the Management Automation with Workflow of Software Development Process Based on the SPEM Activities View.	ITNG	2009	DBLP DOI BibTeX RDF	RSL SPEM, Workflow, BPMN
26	Asger Eir	Relating Domain Concepts Intensionally by Ordering Connections.	Formal Methods and Hybrid Real-Time Systems	2007	DBLP DOI BibTeX RDF	The RAISE Specification Language (RSL), Classification, Formal Methods, Conceptual modelling, Abstract Interpretation, Domain Engineering, Galois Connection, Intension
17	Chris George, Anne E. Haxthausen	Specification, proof, and model checking of the Mondex electronic purse using RAISE.	Formal Aspects Comput.	2008	DBLP DOI BibTeX RDF	Verification, Formal methods, PVS, SAL, RAISE, Mondex
17	Richard Zanibbi, Dorothea Blostein, James R. Cordy	Decision-Based Specification and Comparison of Table Recognition Algorithms.	Machine Learning in Document Analysis and Recognition	2008	DBLP DOI BibTeX RDF
17	Hagit Messer, Oren Goldshtein, Asaf Rayitsfeld, Pinhas Alpert	Recent results of rainfall mapping from cellular network measurements.	ICASSP	2008	DBLP DOI BibTeX RDF
17	Mohammad Reza Nami, Abbas Malekpour	Formal specification of a particular banking domain with RAISE specification language.	ISCC	2008	DBLP DOI BibTeX RDF
17	Mohammad Reza Nami, Mohsen Sharifi, Abbas Malekpour	A Preliminary Formal Specification of Virtual Organization Creation with RAISE Specification Language.	SERA	2007	DBLP DOI BibTeX RDF	RAISE Method, Software Engineering, Formal Methods, Virtual Organization, Collaborative Networks
17	Carlos Videira, David de Almeida Ferreira, Alberto Rodrigues da Silva	A Linguistic Patterns Approach for Requirements Specification.	EUROMICRO-SEAA	2006	DBLP DOI BibTeX RDF
17	Changqin Huang, Zhiting Zhu, Xianqing Wang, Deren Chen	Grid Authorization Management Oriented to Large-Scale Collaborative Computing.	CSCWD (Selected papers)	2004	DBLP DOI BibTeX RDF
17	Changqin Huang, Guanghua Song, Yao Zheng, Deren Chen	An Authorization Architecture Oriented to Engineering and Scientific Computation in Grid Environments.	Asia-Pacific Computer Systems Architecture Conference	2004	DBLP DOI BibTeX RDF
17	Tingting Wang, Jiming Liu 0001, Xiaolong Jin	Minority Game Strategies in Dynamic Multi-Agent Role Assignment.	IAT	2004	DBLP DOI BibTeX RDF
17	Tomasz Haupt, Anand Kalyanasundaram, Nisreen Ammari, Archana Chilukuri, Maxim Khotournenko	SPURport.	HPDC	2004	DBLP DOI BibTeX RDF
17	Fernando De la Torre, Michael J. Black	A Framework for Robust Subspace Learning.	Int. J. Comput. Vis.	2003	DBLP DOI BibTeX RDF	robust PCA, robust SVD, learning, principal component analysis, singular value decomposition, structure from motion, robust statistics, subspace methods
17	Tharek Abdul Rahman, Toh Chee Leng	Design and Performance Analysis of Adaptive Transmit Power Control in Point-to-Point Microwave Link for Rain Attenuation Problem.	ISCC	2003	DBLP DOI BibTeX RDF
17	Gabriela N. Aranda, Richard Moore 0001	A formal model for verifying compound design patterns.	SEKE	2002	DBLP DOI BibTeX RDF
17	Zhencheng Hu, Keiichi Uchimura	Dynamical Road Modeling and Matching for Direct Visual Navigation.	WACV	2002	DBLP DOI BibTeX RDF
17	Myatav Erdenechimeg, Richard Moore 0001, Yumbayar Namsrai	On the Specification of the Display of Documents in Multi-lingual Computing.	PODDP	1998	DBLP DOI BibTeX RDF
17	Khaled M. Elleithy, Magdy A. Bayoumi	A Framework for High Level Synthesis of Digital Architectures from U-Recursive Algorithms.	ACM Conference on Computer Science	1990	DBLP DOI BibTeX RDF