Search results for "actuality"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
71	Karamjit S. Gill	Rethinking the cross-cultural interaction architecture.	AI Soc.	2007	DBLP DOI BibTeX RDF
46	Feng Ouyang, Yunhe Li	The actuality, questions and countermeasures of Electronic Commerce application in SMEs: a survey in the East of Guangdong Province, China.	ICEC	2005	DBLP DOI BibTeX RDF	EC application, the SMEs, EC
36	Robert Charles Koons	The Logic of Causal Explanation An Axiomatization.	Stud Logica	2004	DBLP DOI BibTeX RDF	causal explanation, strong Kleene, Quine, Kim, Davidson, Barwise, Etchemendy, facta, causal relata, actuality, truth-makers, ontology, modal logic, events, modality, three-valued logic, mereology, facts, causation, situation theory
29	Jonas Auda, Sarah Faltaous, Uwe Gruenefeld, Sven Mayer, Stefan Schneegass	The Actuality-Time Continuum: Visualizing Interactions and Transitions Taking Place in Cross-Reality Systems.	ISMAR-Adjunct	2023	DBLP DOI BibTeX RDF
29	Sabah Al-Fedaghi	Lupascian Non-Negativity Applied to Conceptual Modeling: Alternating Static Potentiality and Dynamic Actuality.	CoRR	2022	DBLP DOI BibTeX RDF
29	Satoru Niki, Hitoshi Omori	Actuality in Intuitionistic Logic.	AiML	2020	DBLP BibTeX RDF
29	Sam Alxatib	Actuality Entailments and Free Choice.	J. Semant.	2019	DBLP DOI BibTeX RDF
29	Danylo I. Kuropiatnyk	Актуальність проблеми параметричної ідентифікації математичної моделі (Actuality of the problem of parametric identification of a mathematical model).	CS&SE@SW	2018	DBLP BibTeX RDF
29	Alda Mari	Actuality Entailments: When the Modality is in the Presupposition.	LACL	2016	DBLP DOI BibTeX RDF
29	Prashant Palvia, M. Naveed Baqir, Hamid R. Nemati	ICT Policies in Developing Countries: An Evaluation with the Extended Design-Actuality Gaps Framework.	Electron. J. Inf. Syst. Dev. Ctries.	2015	DBLP DOI BibTeX RDF
29	Adam Rigoni, Richmond H. Thomason	The Logic of Counterpart Theory with Actuality.	J. Philos. Log.	2014	DBLP DOI BibTeX RDF
29	Suzana Cândido de Barros Sampaio, Marcelo L. M. Marinho, Hermano P. Moura	Systematic Review on Project Actuality.	CoRR	2014	DBLP BibTeX RDF
29	Peter Fritz	What is the Correct Logic of Necessity, actuality and apriority?	Rev. Symb. Log.	2014	DBLP DOI BibTeX RDF
29	Rohan French	Expressive power, mood, and actuality.	Synth.	2013	DBLP DOI BibTeX RDF
29	Kenichi Uchiyama, Satoshi Suzuki	Rethinking 'IT/IS use in a technological mature society' from the actuality point of view: critical learning in reflection on SSM meeting about 'IT/IS use'.	AI Soc.	2013	DBLP DOI BibTeX RDF
29	Mihaela Craciun, Dominic Bucerzan, Crina Ratiu, Adriana Manolescu	Actuality of Bankruptcy Prediction Models used in Decision Support System.	Int. J. Comput. Commun. Control	2013	DBLP DOI BibTeX RDF
29	Allen P. Hazen, Benjamin G. Rin, Kai Frederick Wehmeier	Actuality in Propositional Modal Logic.	Stud Logica	2013	DBLP DOI BibTeX RDF
29	Eduardo Henrique Diniz, Diane E. Bailey, Stephanie L. Dailey, Dan Sholler	Bridging the ICT4D Design-Actuality Gap: "Human ATMs" and the Provision of Financial Services for "Humble People".	CONF-IRM	2013	DBLP BibTeX RDF
29	David R. Gilbert, Edwin D. Mares	Completeness Results for some two-Dimensional Logics of actuality.	Rev. Symb. Log.	2012	DBLP DOI BibTeX RDF
29	Julia Hadersberger, Alexander Pohl, François Bry	Discerning Actuality in Backstage - Comprehensible Contextual Aging.	EC-TEL	2012	DBLP DOI BibTeX RDF
29	Ravil I. Muhamedyev, V. G. Dmitriyev, M. M. Maratov, I. M. Ualiyeva, B. Taishmanov, Elena L. Muhamedyeva, D. V. Zagulova, Alma T. Mansharipova	The web portal "Active longevity of Kazakhstan population": Actuality, objectives, functions and preliminary results.	SCIS&ISIS	2012	DBLP DOI BibTeX RDF
29	Evangelos Karapanos, Jean-Bernard Martens, Marc Hassenzahl	On the retrospective assessment of users' experiences over time: memory or actuality?	CHI Extended Abstracts	2010	DBLP DOI BibTeX RDF	day reconstruction, longitudinal methods, retrospective techniques, experience sampling, user experience evaluation
29	Donald A. Norman	The way I see it - Memory is more important than actuality.	Interactions	2009	DBLP DOI BibTeX RDF
29	Yuehua Wan, Yaliang Wang, Shiming Ji, Limin He, Qiaoling Yuan	Digital Media Copy Detection: Research Actuality and Prospect.	ICNC (6)	2008	DBLP DOI BibTeX RDF
29	Robert John Burstow	The actuality of continuing professional development : ICT and change in one secondary school.		2006	RDF
29	Yannis Stephanou	Indexed Actuality.	J. Philos. Log.	2001	DBLP DOI BibTeX RDF
29	Adrian Miroiu	Actuality and World-Indexed Sentences.	Stud Logica	1999	DBLP DOI BibTeX RDF
29	Allen Hazen	Actuality and Quantification.	Notre Dame J. Formal Log.	1990	DBLP DOI BibTeX RDF
29	Harold T. Hodes	Axioms for actuality.	J. Philos. Log.	1984	DBLP DOI BibTeX RDF
29	Aurel Avramescu	Actuality and Obsolescence of Scientific Literature.	J. Am. Soc. Inf. Sci.	1979	DBLP DOI BibTeX RDF
29	Allen Hazen	The eliminability of the actuality operator in propositional modal logic.	Notre Dame J. Formal Log.	1978	DBLP DOI BibTeX RDF
18	Hongshan Kong, Mingqing Zhang, Jun Tang, Changyuan Luo	The Research of Simulation for Network Security Based on System Dynamics.	IAS	2009	DBLP DOI BibTeX RDF
18	Xia Ji 0002, Long-shu Li, Shengbing Chen, Yi Xu	An United Extended Rough Set Model Based on Developed Set Pair Analysis Method.	AICI	2009	DBLP DOI BibTeX RDF	Otherness, United set pair tolerance relation, Rough set, Set pair analysis
18	Alka Agrawal, Shalini Chandra, Raees Ahmad Khan	An Efficient Measurement of Object Oriented Design Vulnerability.	ARES	2009	DBLP DOI BibTeX RDF
18	James T. Yeh	The Many Colors and Shapes of Cloud.	CloudCom	2009	DBLP DOI BibTeX RDF
18	Yu Zhu, Hong Zhang, Ling-Dong Kong	Research of Coal-Gas Outburst Forecasting Based on Artificial Immune Network Clustering Model.	WKDD	2009	DBLP DOI BibTeX RDF
18	Truna Aka J. Turner, David Browning	Designing spatial story-telling software.	OZCHI	2009	DBLP DOI BibTeX RDF	interaction design, participatory design, computer games, spatiality, place
18	Tian Lan, Runtong Zhang, Hong Dai	A New Frame of Knowledge Discovery.	WKDD	2008	DBLP DOI BibTeX RDF
18	Zhijun Wang, Xue Wang, Xu Wang	Research and Implementation of Web-Based E-Learning Course Auto-generating Platform.	Edutainment	2008	DBLP DOI BibTeX RDF	auto-generating, web-based course, instructional strategies, E-Learning
18	Jing Tian, Andrzej P. Wierzbicki, Hongtao Ren, Yoshiteru Nakamori	Testing the Triple Helix Model.	Creative Environments	2007	DBLP DOI BibTeX RDF
18	Uwe Seifert, Jin Hyun Kim	Entelechy and Embodiment in (Artistic) Human-Computer Interaction.	HCI (1)	2007	DBLP DOI BibTeX RDF	interactionism, robotics, emotion, methodology, presence, distributed cognition, embodied interaction, embodied cognition, New Media Art, reality, copresence
18	Mikhaylov Ilya Sergeevitch	Information Systems Metamodels Developing for Providing Structural and Semantic Interoperability.	DepCoS-RELCOMEX	2007	DBLP DOI BibTeX RDF
18	Hamid Bagheri	Injecting security as aspectable NFR into Software Architecture.	APSEC	2007	DBLP DOI BibTeX RDF
18	Rongying Zhao, Ruixian Yang	Analysis on Research and Application of China C2C Websites Evaluating Index System.	I3E (1)	2007	DBLP DOI BibTeX RDF
18	HeeSeok Kim, Tae Hyun Kim 0003, Jeong Choon Ryoo, Dong-Guk Han, Howon Kim 0001, Jongin Lim 0001	Enhanced Doubling Attacks on Signed-All-Bits Set Recoding.	WISTP	2007	DBLP DOI BibTeX RDF	sABS recoding, SPA-based analysis, Doubling Attack, Side Channel Attacks, scalar multiplication
18	Nanjangud C. Narendra, Karthikeyan Ponnalagu, Karthik Gomadam, Amit P. Sheth	Variation Oriented Service Composition and Adaptation (VOSCA): A Work in Progress.	IEEE SCC	2007	DBLP DOI BibTeX RDF
18	Hertong Song, Chokchai Leangsuksun, Raja Nassar	Availability Modeling and Analysis on High Performance Cluster Computing Systems.	ARES	2006	DBLP DOI BibTeX RDF
18	Mehul Bhatt, J. Wenny Rahayu, Gerald Sterling	Synthetic Environment Representational Semantics Using the Web Ontology Language.	IDEAL	2005	DBLP DOI BibTeX RDF
18	Xinhua Wang, Xiaolin Gui, Feifei Chen	A Trust and Reputation Model of Grid Resources for Cooperating Application.	SKG	2005	DBLP DOI BibTeX RDF
18	Ho-jun Shin, Kwang-Ki Kim, Bo-Yeon Shim	A Study on the Component Based Architecture for Workflow Rule Engine and Tool.	ICCSA (3)	2005	DBLP DOI BibTeX RDF	Workflow Rule Engine & Tool, Component Based Development, Component Based Architecture, Architecture View
18	Ying Liu, Chengqing Zong	The technical analysis on translation templates.	SMC (5)	2004	DBLP DOI BibTeX RDF
18	Junmo Cheng, Fuyuan Xu, Daogao Wang	Study on knowledge experts' map and choice of knowledge experts in knowledge interchange system of the corporation.	SMC (3)	2004	DBLP DOI BibTeX RDF
18	Sangkyun Kim, Hong Joo Lee, Choon Seong Leem	Architecture of Authentication Mechanism for Emerging T-commerce Environments.	PCM (1)	2004	DBLP DOI BibTeX RDF
18	Xiaolin Gui, Bing Xie, Yinan Li, Depei Qian	Study on the Behavior-based Trust Model in Grid Security System.	IEEE SCC	2004	DBLP DOI BibTeX RDF
18	Steven K. Brawn, Kelly Caye, R. Mark Koan	Escaping the quicksand and getting back on the trail of team projects.	SIGUCCS	2003	DBLP DOI BibTeX RDF	milestones, seven-step process, project management, teamwork, project teams
18	Claus Vielhauer, Ralf Steinmetz, Astrid Mayerhöfer	Biometric Hash based on Statistical Features of Online Signatures.	ICPR (1)	2002	DBLP DOI BibTeX RDF
18	Janice Anne Rohn, Jared M. Spool, Mayuresh Ektare, Sanjay Koyani, Michael J. Muller, Janice Redish	Usability in practice: alternatives to formative evaluations-evolution and revolution.	CHI Extended Abstracts	2002	DBLP DOI BibTeX RDF	user experience, user-centered design, participatory design, guidelines, usability engineering, usability methods, inspection methods, error messages
18	Mark Bergman, Gloria Mark	Technology choice as a first step in design: the interplay of procedural and sensemaking processes.	Symposium on Designing Interactive Systems	2002	DBLP DOI BibTeX RDF	project choice, technology choice, design, organizations, requirements analysis, sensemaking
18	Claire Knight, Malcolm Munro	Mediating Diverse Visualisations for Comprehension.	IWPC	2001	DBLP DOI BibTeX RDF
18	Huy Quang Nguyen, Brent Auernheimer, Valeriy I. Nenov	Bravo/TeleTrend: User Interface and Time Estimate Study.	HICSS	1999	DBLP DOI BibTeX RDF
18	Thomas Ball	On the Limit of Control Flow Analysis for Regression Test Selection.	ISSTA	1998	DBLP DOI BibTeX RDF	profiling, coverage, regression testing, control flow analysis
18	Masao Iri	How to Generate Realistic Sample Problems for Network Optimization.	ISAAC	1992	DBLP DOI BibTeX RDF
18	Douglas B. Terry, Daniel C. Swinehart	Managing Stored Voice in the Etherphone System (Extended Abstract). (long version: ACM Trans. Comput. Syst. 6(1): 3-27(1988))	SOSP	1987	DBLP DOI BibTeX RDF
18	Michael R. Wayne, Susan M. Braun	Looking for Mr. "Turnkey".	DAC	1985	DBLP DOI BibTeX RDF