Search results for "RAISE"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
3	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
3	Chris George, Anne Elisabeth Haxthausen	Specification, proof, and model checking of the Mondex electronic purse using RAISE.	Formal Asp. Comput.	2008	DBLP DOI BibTeX RDF	Verification, Formal methods, PVS, SAL, RAISE, Mondex
3	Mohammad Reza Nami, Mehdi Sagheb-Tehrani, Mohsen Sharifi	Applying domain engineering using RAISE into a particular banking domain.	ACM SIGSOFT Software Engineering Notes	2007	DBLP DOI BibTeX RDF	software engineering, formal methods, domain engineering, RAISE
3	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
2	Carmen Soler, Alejandra Zacarías, Andrés Lucero	Molarcropolis: a mobile persuasive game to raise oral health and dental hygiene awareness.	Advances in Computer Entertainment Technology	2009	DBLP DOI BibTeX RDF	oral health, mobile gaming, persuasion, adolescence
2	John Gray, Gill Harrison, Andrea Gorra, Jakki Sheridan-Ross, Janet Finlay	A computer-based test to raise awareness of disability issues.	ITiCSE	2008	DBLP DOI BibTeX RDF	computer assisted test, disability awareness, staff development
2	John Gray, Gill Harrison, Jakki Sheridan-Ross, Andrea Gorra	Using a Computer Aided Test to Raise Awareness of Disability Issues amongst University Teaching Staff.	ICCHP	2008	DBLP DOI BibTeX RDF	staff training, Computer aided test, Disability
2	Chenxi Zhang, Xiaodong Lin, Rongxing Lu, Pin-Han Ho	RAISE: An Efficient RSU-Aided Message Authentication Scheme in Vehicular Communication Networks.	ICC	2008	DBLP DOI BibTeX RDF
2	Mohammad Reza Nami, Abbas Malekpour	Formal specification of a particular banking domain with RAISE specification language.	ISCC	2008	DBLP DOI BibTeX RDF
2	Juan Ignacio Perna, Chris George	Model Checking RAISE Applicative Specifications.	SEFM	2007	DBLP DOI BibTeX RDF
2	Chris George	Applicative Modelling with RAISE.	Domain Modeling and the Duration Calculus	2007	DBLP DOI BibTeX RDF
2	Daniel Riesco, Laura Felice, Narayan C. Debnath, German Montejano	Using a feature model for RAISE specification reusability.	IRI	2005	DBLP DOI BibTeX RDF
2	Chris George	Tutorial on the RAISE Language, Method and Tools.	ICFEM	2004	DBLP DOI BibTeX RDF
2	Morten P. Lindegaard, Anne Elisabeth 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
2	Hye-Jung Lee, Won-Hwan Park, Doo-Soon Park	An Efficient Method for Quantitative Association Rules to Raise Reliance of Data.	APWeb	2004	DBLP DOI BibTeX RDF
2	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
2	Gafurov Davrondjon, Tomasz Janowski	Developing a Spell-Checker for Tajik Using RAISE.	ICFEM	2002	DBLP DOI BibTeX RDF
2	Chris George	The Development of the RAISE Tools.	10th Anniversary Colloquium of UNU/IIST	2002	DBLP DOI BibTeX RDF
2	Graham E. Deacon	An Attempt to Raise the Level of Software Abstraction in Assembly Robotics through an Apposite Choice of Underlying Mechatronics.	Journal of Intelligent and Robotic Systems	2000	DBLP DOI BibTeX RDF	accommodating control, contact configurations, object sliding, task-invariant assembly strategies, programming abstraction, direct-drive robot
2	Anne Elisabeth Haxthausen, Jan Peleska	Formal Development and Verification of a Distributed Railway Control System.	IEEE Trans. Software Eng.	2000	DBLP DOI BibTeX RDF	verification, formal specification, Safety, stepwise refinement, railways, distributed control system, RAISE
2	Anne Elisabeth Haxthausen, Xia Yong	Linking DC Toghether with TRSL.	IFM	2000	DBLP DOI BibTeX RDF	integration of specification formalisms, Formal methods, Duration Calculus, RAISE
2	A. Alapide, S. Candia, M. Cinella, S. Quaranta	Applying Teamwork/Ada and RAISE for Developing an Air Traffic Control Application.	Ada-Europe	1995	DBLP DOI BibTeX RDF
2	François Erasmy, Emil Sekerinski	Stepwise Refinement of Control Software - A Case Study Using RAISE.	FME	1994	DBLP DOI BibTeX RDF
2	Bent Dandanell, Jesper Gørtz, Jan Storbank Pedersen, Eld Zierau	Experience from Applications of RAISE.	FME	1993	DBLP DOI BibTeX RDF
2	D. L. Chalmers, Bent Dandanell, Jesper Gørtz, Jan Storbank Pedersen, Eld Zierau	Using RAISE - First Impressions from the LaCoS Applications.	VDM Europe	1991	DBLP DOI BibTeX RDF
2	CRI RAISE Tools Group	The RAISE Toolset.	VDM Europe	1991	DBLP DOI BibTeX RDF
2	Mogens Nielsen, Klaus Havelund, Kim Ritter Wagner, Chris George	The RAISE Language, Method and Tools.	VDM Europe	1988	DBLP DOI BibTeX RDF
2	Søren Prehn	From VDM to RAISE.	VDM Europe	1987	DBLP DOI BibTeX RDF
1	Semeen Rehman, Muhammad Shafique, Florian Kriebel, Jörg Henkel	RAISE: Reliability-Aware Instruction SchEduling for unreliable hardware.	ASP-DAC	2012	DBLP DOI BibTeX RDF
1	Zissis Poulos, Yu-Shen Yang, Jason Anderson, Andreas G. Veneris, Bao Le	Leveraging reconfigurability to raise productivity in FPGA functional debug.	DATE	2012	DBLP BibTeX RDF
1	Serge Vaudenay	Deniable RSA Signature - The Raise and Fall of Ali Baba.	Cryptography and Security	2012	DBLP DOI BibTeX RDF
1	Joon Hao Chuah, Andrew Robb, Casey White, Adam Wendling, Samsun (Sem) Lampotang, Regis Kopper, Benjamin Lok	Increasing agent physicality to raise social presence and elicit realistic behavior.	VR	2012	DBLP DOI BibTeX RDF
1	Giuseppe Longo, Andrea Sgarro	Unruly codes with unruly distances raise (combinatorial) problems.	Electronic Notes in Discrete Mathematics	2011	DBLP DOI BibTeX RDF
1	Juan Luis Nicolau	The decision to raise firm value through a sports-business exchange: How much are Real Madrid's goals worth to its president's company's goals?	European Journal of Operational Research	2011	DBLP DOI BibTeX RDF
1	Tao Zhang, Shaobin Huang, Tian-yang Lv, Hongtao Huang	Specification and verification of policy using RAISE and modelchecking.	BMEI	2011	DBLP DOI BibTeX RDF
1	António Rodrigues, Carlos Resende, Filipe Sousa, Ana Aguiar	Open Architecture to Raise Awareness of Energy Consumption on the Home Environment.	AMBI-SYS	2011	DBLP DOI BibTeX RDF
1	Robert Law	Using student blogs for documentation in software development projects.	ITiCSE	2011	DBLP DOI BibTeX RDF
1	Mohammad Reza Nami, Seyed Naser Hashemi	Investigating a new formal model for autonomous virtual organisation using RAISE method.	IJNVO	2010	DBLP DOI BibTeX RDF
1	Yong Wei, Yanna Sun	Criterions of comparing two function transformations with the same monotonicity to raise the second class smooth degree.	SMC	2010	DBLP DOI BibTeX RDF
1	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
1	Elzbieta Gawronska, Norbert Sczygiol	Application of Mixed Time Partitioning Methods to Raise the Efficiency of Solidification Modeling.	SYNASC	2010	DBLP DOI BibTeX RDF
1	Zhexuan Song, Jesus Molina, Christina Strong	Trusted Anonymous Execution: A Model to Raise Trust in Cloud.	GCC	2010	DBLP DOI BibTeX RDF
1	Nadine Amsel, Bill Tomlinson	Green tracker: a tool for estimating the energy consumption of software.	CHI Extended Abstracts	2010	DBLP DOI BibTeX RDF	green it, software, sustainability, green computing
1	Sara Motiee, Kirstie Hawkey, Konstantin Beznosov	Investigating user account control practices.	CHI Extended Abstracts	2010	DBLP DOI BibTeX RDF	user account control, usable security, least privilege
1	Momoko Nakatani, Takehiko Ohno, Ai Nakane, Yurika Katagiri, Shuji Hashimoto	Integrated model based on the psychology of active/non-active computer users: activating technology holdouts.	CHI Extended Abstracts	2010	DBLP DOI BibTeX RDF	computer adoption, qualitative methods, home computing
1	Kenton O'Hara	Interactivity and non-interactivity on tabletops.	CHI	2010	DBLP DOI BibTeX RDF	non-interactivity, interactivity, tabletops
1	Yann Riche, Jonathan Dodge, Ronald A. Metoyer	Studying always-on electricity feedback in the home.	CHI	2010	DBLP DOI BibTeX RDF	electricity feedback, participatory design, home, behavior change
1	Yann Riche, Nathalie Henry Riche, Petra Isenberg, Anastasia Bezerianos	Hard-to-use interfaces considered beneficial (some of the time).	CHI Extended Abstracts	2010	DBLP DOI BibTeX RDF	easy-to-use, hard-to-use, usability, user interfaces, collaboration, communication, user experience
1	Arkadeb Ghosal, Paolo Giusto, Alberto L. Sangiovanni-Vincentelli, Joseph D'Ambrosio, Ed Nuckolls, Harald Wilhelm, Jim Tung, Markus Kuhl, Peter van Staa	Education panel: designing the always connected car of the future.	DAC	2010	DBLP DOI BibTeX RDF	driver safety and comfort, vehicle-to-infrastructure, vehicle-to-vehicle, design, synthesis, connectivity, automotive
1	Daniel P. Lopresti, George Nagy, Elisa H. Barney Smith	Document analysis issues in reading optical scan ballots.	Document Analysis Systems	2010	DBLP DOI BibTeX RDF
1	David Alves, Pedro Bizarro, Paulo Marques	Flood: elastic streaming MapReduce.	DEBS	2010	DBLP DOI BibTeX RDF	scalability, elastic, distributed stream processing
1	Peter Muhlberger	Information technology and public deliberation: research on improving public input into government.	DG.O	2010	DBLP DOI BibTeX RDF	public input, collaboration, natural language processing, video, Wikipedia, government, collective intelligence, deliberation, rulemaking
1	Alessia C. Neuroni, Alberto Rascon, Andreas Spichiger, Reinhard Riedl	Assessing and evaluating value and cost effectiveness of e-government initiatives: focusing the step of the financial evaluation.	DG.O	2010	DBLP DOI BibTeX RDF	financial evaluation, value of e-government, real options, net present value
1	Peter Alvaro, Tyson Condie, Neil Conway, Khaled Elmeleegy, Joseph M. Hellerstein, Russell Sears	Boom analytics: exploring data-centric, declarative programming for the cloud.	EuroSys	2010	DBLP DOI BibTeX RDF	cloud computing, datalog, mapreduce
1	Thomas Bäck, Joshua Knowles, Ofer M. Shir	Experimental optimization by evolutionary algorithms.	GECCO (Companion)	2010	DBLP DOI BibTeX RDF	biological experiments, experimental optimization, quantum control, history
1	Leung-Yau Lo, Tak-Ming Chan, Kin-Hong Lee, Kwong-Sak Leung	Challenges rising from learning motif evaluation functions using genetic programming.	GECCO	2010	DBLP DOI BibTeX RDF	transcription factor binding site (tfbs), modelling, genetic programming (gp), bioinformatics, motif discovery
1	Ilya Loshchilov, Marc Schoenauer, Michèle Sebag	A pareto-compliant surrogate approach for multiobjective optimization.	GECCO (Companion)	2010	DBLP DOI BibTeX RDF	support vector machine, multiobjective optimization, surrogate models
1	Betty H. C. Cheng, Rogério de Lemos, David Garlan, Holger Giese, Marin Litoiu, Jeff Magee, Hausi A. Müller, Mauro Pezzè, Richard Taylor	Fifth Workshop on Software Engineering for Adaptive and Self-Managing Systems (SEAMS 2010).	ICSE	2010	DBLP DOI BibTeX RDF	autonomic computing, adaptive software
1	Sarah Rastkar	Summarizing software concerns.	ICSE	2010	DBLP DOI BibTeX RDF	human-centric software engineering
1	Rajib Kumar Rana, Chun Tung Chou, Salil S. Kanhere, Nirupama Bulusu, Wen Hu	Ear-phone: an end-to-end participatory urban noise mapping system.	IPSN	2010	DBLP DOI BibTeX RDF	noise pollution, mobile phones, compressive sensing, participatory sensing
1	Oliver Brdiczka	From documents to tasks: deriving user tasks from document usage patterns.	IUI	2010	DBLP DOI BibTeX RDF	automatic task identification, user task modeling, document clustering
1	Raphael Romeikat, Bernhard Bauer, Tobias Bandh, Georg Carle, Henning Sanneck, Lars-Christoph Schmelz	Policy-driven workflows for mobile network management automation.	IWCMC	2010	DBLP DOI BibTeX RDF	management automation, workflow, policy, LTE
1	Hector Ouilhet	Google Sky Map: using your phone as an interface.	Mobile HCI	2010	DBLP DOI BibTeX RDF
1	Apostol Natsev	Multimedia semantics: opportunities and challenges.	Multimedia Information Retrieval	2010	DBLP DOI BibTeX RDF	multimedia, semantics
1	Suzanna Schmeelk	Towards a unified fault-detection benchmark.	PASTE	2010	DBLP DOI BibTeX RDF	evaluation, benchmark, software reliability, quality assurance
1	Manuel Egele, Leyla Bilge, Engin Kirda, Christopher Kruegel	CAPTCHA smuggling: hijacking web browsing sessions to create CAPTCHA farms.	SAC	2010	DBLP DOI BibTeX RDF	attack, CAPTCHA, security threats, real-world experiments
1	Vicki H. Allan, Valerie Barr, Dennis Brylow, Susanne E. Hambrusch	Computational thinking in high school courses.	SIGCSE	2010	DBLP DOI BibTeX RDF	education, computational thinking
1	Martin Bichler, Pasha Shabalin, Georg Ziegler	Efficiency with linear prices: a theoretical and experimental analysis of the combinatorial clock auction.	ACM Conference on Electronic Commerce	2010	DBLP DOI BibTeX RDF	allocative efficiency, combinatorial clock auction, core-selecting auctions, ex-post equilibrium
1	Arun Kumar, Sheetal K. Agarwal, Priyanka Manwani	The spoken web: software development and programming through voice.	WWW	2010	DBLP DOI BibTeX RDF	programming by voice, spoken web, voicesites
1	Hans Jarle Kind, Tore Nilssen, Lars Sørgard	Business Models for Media Firms: Does Competition Matter for How They Raise Revenue?	Marketing Science	2009	DBLP DOI BibTeX RDF
1	Jean-Sébastien Brunner, Patrick Gatellier	Raise semantics at the user level for dynamic and interactive SOA-based portals.	WWW	2009	DBLP DOI BibTeX RDF	SOA, context, semantic web services, semantic portal
1	Ilya Kizhvatov	Side channel analysis of AVR XMEGA crypto engine.	WESS	2009	DBLP DOI BibTeX RDF	cryptography, DPA, side channel analysis
1	Faraz Ahmed, Haider Hameed, M. Zubair Shafiq, Muddassar Farooq	Using spatio-temporal information in API calls with machine learning algorithms for malware detection.	AISec	2009	DBLP DOI BibTeX RDF	api calls, machine learning algorithms, markov chain, malware detection
1	Oded Nov, Sunil Wattal	Social computing privacy concerns: antecedents and effects.	CHI	2009	DBLP DOI BibTeX RDF	privacy concerns, trust, social computing, Flickr, photo sharing
1	David H. Bailey	Misleading performance claims in parallel computations.	DAC	2009	DBLP DOI BibTeX RDF	parallel computing
1	Raghul Gunasekaran, Mallikarjun Shankar, Dieter Gawlick, Steve Fisher, Aravind Yalamanchi, Ronny Fehling, Hairong Qi	INFOrmation Dissemination (INFOD) middleware.	DEBS	2009	DBLP DOI BibTeX RDF
1	Peter Muhlberger	New research on public deliberation and information technology.	D.GO	2009	DBLP DOI BibTeX RDF	public input, collaboration, natural language processing, video, Wikipedia, government, collective intelligence, deliberation, rulemaking
1	Mohamed Y. Eltabakh, Walid G. Aref, Ahmed K. Elmagarmid, Mourad Ouzzani, Yasin N. Silva	Supporting annotations on relations.	EDBT	2009	DBLP DOI BibTeX RDF
1	Ugo Braga Sangiorgi, Simone Diniz Junqueira Barbosa	MoLIC designer: towards computational support to hci design with MoLIC.	EICS	2009	DBLP DOI BibTeX RDF	interaction design, interaction modeling, semiotic engineering
1	Mark Dietz, Shashi Shekhar	Fuel-cache site-selection for polar research: a summary of results.	GIS-IWCTS	2009	DBLP DOI BibTeX RDF	optimization, routing, assignment
1	Rosalind W. Picard	Robots with emotional intelligence.	HRI	2009	DBLP DOI BibTeX RDF	empathic technology, prosody analysis, affective computing, system, emotion recognition, autism, facial expression recognition, emotional intelligence, deception detection, physiological sensing
1	Thomas F. Gordon, Douglas Walton	Legal reasoning with argumentation schemes.	ICAIL	2009	DBLP DOI BibTeX RDF
1	Marie Kim, Hwang Jae Gak, Cheol Sig Pyo	Practical RFID + sensor convergence toward context-aware X-reality.	Int. Conf. Interaction Sciences	2009	DBLP DOI BibTeX RDF	x-reality, middleware, RFID, sensor, actuator, USN
1	Leonardo S. Kury A. Mendes, Anselmo Cardoso de Paiva, Cláudio de Souza Baptista, Aristófanes Corrêa Silva	Content based mammography images retrieval using Ripley's K function.	Int. Conf. Interaction Sciences	2009	DBLP DOI BibTeX RDF	Haralick features, Ripley's K function, CBIR, mammography
1	Weiping Li	An analysis of new features for workflow system in the SaaS software.	Int. Conf. Interaction Sciences	2009	DBLP DOI BibTeX RDF	workflow, SaaS, multi-tenancy
1	Lou Jiana, Wu Xiaobo	Design of multi-mode 4-switch buck-boost controller.	ISLPED	2009	DBLP DOI BibTeX RDF	buck-boost controller, seamless transition, valley current mode
1	Saurabh Sinha, Hina Shah, Carsten Görg, Shujuan Jiang, Mijung Kim, Mary Jean Harrold	Fault localization and repair for Java runtime exceptions.	ISSTA	2009	DBLP DOI BibTeX RDF	null dereference, runtime exceptions, static analysis, fault localization
1	Alexander Knauf, Thomas C. Schmidt, Matthias Wählisch	Scalable distributed conference control in heterogeneous peer-to-peer scenarios with SIP.	MobiMedia	2009	DBLP DOI BibTeX RDF	ID locator split, conference event states, distributed conference control, mobile multimedia communication, tightly coupled SIP conferencing, P2P systems
1	Evan Welbourne, Karl Koscher, Emad Soroush, Magdalena Balazinska, Gaetano Borriello	Longitudinal study of a building-scale RFID ecosystem.	MobiSys	2009	DBLP DOI BibTeX RDF	measurement, pervasive computing, rfid
1	Sven Apel, Jörg Liebig, Christian Kästner, Martin Kuhlemann, Thomas Leich	An orthogonal access modifier model for feature-oriented programming.	FOSD	2009	DBLP DOI BibTeX RDF	orthogonal access modifier model, feature-oriented programming
1	Bruce Hendrickson	Emerging challenges and opportunities in parallel computing: the cretaceous redux?	PODC	2009	DBLP DOI BibTeX RDF	parallel computing
1	Liang Cai, Sridhar Machiraju, Hao Chen	Defending against sensor-sniffing attacks on mobile phones.	MobiHeld	2009	DBLP DOI BibTeX RDF	microphone, sniffing, privacy, mobile, sensor
1	Mojtaba Torkjazi, Reza Rejaie, Walter Willinger	Hot today, gone tomorrow: on the migration of MySpace users.	WOSN	2009	DBLP DOI BibTeX RDF	OSN eco-system, user dynamics and activities, online social networks
1	Janet Davis	Experiences with just-in-time teaching in systems and design courses.	SIGCSE	2009	DBLP DOI BibTeX RDF	just-in-time teaching (jitt), active learning, classroom management, web-based techniques, formative assessment
1	Paul Scifleet, Susan P. Williams	Practice theory & the foundations of digital document encoding.	SIGDOC	2009	DBLP DOI BibTeX RDF	documentary practice, practice theory, methodology, information management
1	Takashi Nariya, Young Ah Seong, Tomoko Hashida, Takeshi Naemura	Spatio-temporal sensing and visualizing of CO2.	SIGGRAPH Posters	2009	DBLP DOI BibTeX RDF
1	Mihaela Sabin, Jim Leone	IT education 2.0.	SIGITE Conference	2009	DBLP DOI BibTeX RDF	open education, web 2.0, communities of practice, peer production
1	L. Felipe Perrone, Claudio Cicconetti, Giovanni Stea, Bryan C. Ward	On the automation of computer network simulators.	SimuTools	2009	DBLP DOI BibTeX RDF	network simulation, best practices, simulation tools
1	Haider Abbas, Louise Yngström, Ahmed Hemani	Adaptability infrastructure for bridging IT security evaluation and options theory.	SIN	2009	DBLP DOI BibTeX RDF	it product evaluation, it security evaluation, options theory
1	Bruce Hendrickson	Emerging challenges and opportunities in parallel computing: the cretaceous redux?	SPAA	2009	DBLP DOI BibTeX RDF	parallel computing