Search results for "legality"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
58	Taisuke Izumi, Toshimitsu Masuzawa	Synchronous Condition-Based Consensus Adapting to Input-Vector Legality.	DISC	2004	DBLP DOI BibTeX RDF
48	Michael E. Wolf, Monica S. Lam	A Loop Transformation Theory and an Algorithm to Maximize Parallelism.	IEEE Trans. Parallel Distributed Syst.	1991	DBLP DOI BibTeX RDF	loop transformation theory, general loops, dependence vectors, lexicographically positive, compound transformations, coarsest fully permutable loop nests, fully permutable nests, parallel algorithm, parallel algorithms, parallel programming, heuristics, program compilers, precedence constraints, legality, code transformation, fine-grain parallelism, canonical form, wavefront, coarse grain parallelism, loop iterations, maximum degree
46	Qiong Han, Derek Merck, Joshua H. Levy, Christina Villarruel, James N. Damon, Edward L. Chaney, Stephen M. Pizer	Geometrically Proper Models in Statistical Training.	IPMI	2007	DBLP DOI BibTeX RDF
46	Taisuke Izumi, Toshimitsu Masuzawa	Condition Adaptation in Synchronous Consensus.	IEEE Trans. Computers	2006	DBLP DOI BibTeX RDF	crash fault, condition-based approach, fault tolerance, adaptiveness, Distributed algorithm, synchronous system, consensus problem
46	Taisuke Izumi, Toshimitsu Masuzawa	An Improved Algorithm for Adaptive Condition-Based Consensus.	SIROCCO	2005	DBLP DOI BibTeX RDF
42	Christopher Swenson, Charles Adams, Anthony Whitledge, Sujeet Shenoi	On the Legality of Analyzing Telephone Call Records. (PDF / PS)	IFIP Int. Conf. Digital Forensics	2007	DBLP DOI BibTeX RDF	Call detail records, analysis, collection, legal issues
42	Lei Wang, James R. Cordy, Thomas R. Dean	Enhancing Security Using Legality Assertions.	WCRE	2005	DBLP DOI BibTeX RDF
42	Jean-Loup Baer, Daniel P. Bovet, Gerald Estrin	Legality and Other Properties of Graph Models of Computations.	J. ACM	1970	DBLP DOI BibTeX RDF
33	Richard C. Holt, David B. Wortman, James R. Cordy, David R. Crowe	The Euclid Language: a progress report.	ACM Annual Conference (1)	1978	DBLP DOI BibTeX RDF	Legality assertions, Machine dependencies, Visibility of names, Reliability, Verification, Language, Pascal, Aliasing, Storage allocation, Systems programming, Data encapsulation, Parameterized types, Euclid, EUCLID
31	Vijay Menon 0002, Keshav Pingali	Look Left, Look Right, Look Left Again: An Application of Fractal Symbolic Analysis to Linear Algebra Code Restructuring.	Int. J. Parallel Program.	2004	DBLP DOI BibTeX RDF	high-performance computing, numerical methods, symbolic analysis, Program restructuring
31	Ying-Hong Wang, Ching-Lin Wang, Cheng-Horng Liao	Mobile Agent Protection and Verification in the Internet Environment.	CIT	2004	DBLP DOI BibTeX RDF	AUthentication Mechanism, Verification Mechanism, Agent, Mobile Agent, Electronic Commerce
31	David R. Musser, Zhiqing Shao	Concept Use or Concept Refinement: An Important Distinction in Building Generic Specifications.	ICFEM	2002	DBLP DOI BibTeX RDF	Specification techniques and languages, specification evolution and refinement, formal semantics
31	Ralph Frisbie, Richard Hendrickson, Michael Metcalf	The F Programming Language.	ACM SIGPLAN Notices	1997	DBLP DOI BibTeX RDF	FCL
27	Mackenzie Jorgensen, Madeleine Waller, Oana Cocarascu, Natalia Criado, Odinaldo Rodrigues, Jose Such, Elizabeth Black	Investigating the Legality of Bias Mitigation Methods in the United Kingdom.	IEEE Technol. Soc. Mag.	2023	DBLP DOI BibTeX RDF
27	Madeleine Waller, Odinaldo Rodrigues, Oana Cocarascu	Recommendations for Bias Mitigation Methods: Applicability and Legality.	AEQUITAS@ECAI	2023	DBLP BibTeX RDF
27	Malwina Anna Wojcik	Assessing the Legality of Using the Category of Race and Ethnicity in Clinical Algorithms - the EU Anti-Discrimination Law Perspective.	EWAF	2023	DBLP BibTeX RDF
27	Dessy Harisanty, Esti Putri Anugrah	Legality of electronic archive management in realizing Indonesia E-government.	Digit. Libr. Perspect.	2022	DBLP DOI BibTeX RDF
27	Vanja Skoric, Giovanni Sileno, Sennay Ghebreab	Legality, Legitimacy, and Instrumental Possibility in Human and Computational Governance for the Public Sector.	IFDaD	2022	DBLP BibTeX RDF
27	Shigenari Nakamura, Tomoya Enokido, Makoto Takizawa 0001	Time-based legality of information flow in the capability-based access control model for the Internet of Things.	Concurr. Comput. Pract. Exp.	2021	DBLP DOI BibTeX RDF
27	Bella Ostromooukhova	"Free libraries for the free people": How mass-literature "shadow" libraries circumvent digital barriers and redefine legality in contemporary Russia.	First Monday	2021	DBLP DOI BibTeX RDF
27	Satoshi Kawamoto, Toshio Akimitsu, Kikuo Asai	Legality Identification of Japanese Online Advertisements Using Complex-Valued Support Vector Machines with DFT-Coded Document Vectors.	JSAI-isAI Workshops	2021	DBLP DOI BibTeX RDF
27	Vlad Krotov, Leigh Johnson, Leiser Silva	Tutorial: Legality and Ethics of Web Scraping.	Commun. Assoc. Inf. Syst.	2020	DBLP DOI BibTeX RDF
27	Rosanna Bellini, Nicola Dell, Monica T. Whitty, Debasis Bhattacharya, David Wall, Pamela Briggs	Crime and/or Punishment: Joining the Dots between Crime, Legality and HCI.	CHI Extended Abstracts	2020	DBLP DOI BibTeX RDF
27	Song Gao 0001, Mingxiao Li, Yunlei Liang, Joseph Marks, Yuhao Kang, Moying Li	Predicting the spatiotemporal legality of on-street parking using open data and machine learning.	Ann. GIS	2019	DBLP DOI BibTeX RDF
27	Jakub Fucík, Libor Frank, Richard Stojar	Legality and Legitimacy of the Autonomous Weapon Systems.	MESAS	2019	DBLP DOI BibTeX RDF
27	Vlad Krotov, Leiser Silva	Legality and Ethics of Web Scraping.	AMCIS	2018	DBLP BibTeX RDF
27	Muhammad Salman, Saad B. Qaisar, Ali Mustafa Qamar	Classification and legality analysis of bowling action in the game of cricket.	Data Min. Knowl. Discov.	2017	DBLP DOI BibTeX RDF
27	Valerie Verdoodt, Damian Clifford, Eva Lievens	Toying with children's emotions, the new game in town? The legality of advergames in the EU.	Comput. Law Secur. Rev.	2016	DBLP DOI BibTeX RDF
27	Cédric Bastoul	Mapping deviation: a technique to adapt or to guard loop transformation intuitions for legality.	CC	2016	DBLP DOI BibTeX RDF
27	Krishnendu Chatterjee, Rasmus Ibsen-Jensen	The Complexity of Deciding Legality of a Single Step of Magic: The Gathering.	ECAI	2016	DBLP DOI BibTeX RDF
27	Flaviano Tessitore	Aerial surveillance and airborne remote sensing techniques in Guardia di Finanza: An operational experience: Guardia di Finanza and CRdC BENECON, police officers and university researchers to protect and safeguard social fairness and legality.	ICCST	2014	DBLP DOI BibTeX RDF
27	Ting-Yi Chang, Yan-Ru Ke	A personalized e-course composition based on a genetic algorithm with forcing legality in an adaptive learning system.	J. Netw. Comput. Appl.	2013	DBLP DOI BibTeX RDF
27	Anne J. Lee	The Legality of State Protectionist Laws Against Legal Process Outsourcing.	J. Telecommun. High Technol. Law	2013	DBLP BibTeX RDF
27	Alexander Lokhman, Tommi Mikkonen, Imed Hammouda, Rick Kazman, Hong-Mei Chen	A Core-Periphery-Legality Architectural Style for Open Source System Development.	HICSS	2013	DBLP DOI BibTeX RDF
27	Yi-jie Tang, Cong-Kai Lin, Hsin-Hsi Chen	Advertising Legality Recognition.	COLING (Posters)	2012	DBLP BibTeX RDF
27	Alexander Lokhman, Antti Luoto, Salum Abdul-Rahman, Imed Hammouda	OSSLI: Architecture Level Management of Open Source Software Legality Concerns.	OSS	2012	DBLP DOI BibTeX RDF
27	Joss Wright, Tulio de Souza, Ian Brown	Fine-Grained Censorship Mapping: Information Sources, Legality and Ethics.	FOCI	2011	DBLP BibTeX RDF
27	Mason Rice, Jonathan Butts, Robert Miller, Sujeet Shenoi	An analysis of the legality of government-mandated computer inoculations.	Int. J. Crit. Infrastructure Prot.	2010	DBLP DOI BibTeX RDF
27	Lukas Feiler	The Legality of the Data Retention Directive in Light of the Fundamental Rights to Privacy and Data Protection.	Eur. J. Law Technol.	2010	DBLP BibTeX RDF
27	Imed Hammouda, Tommi Mikkonen, Ville Oksanen, Ari Jaaksi	Open source legality patterns: architectural design decisions motivated by legal concerns.	MindTrek	2010	DBLP DOI BibTeX RDF
27	Stephen Bono, Aviel D. Rubin, Adam Stubblefield, Matthew Green 0001	Security through legality.	Commun. ACM	2006	DBLP DOI BibTeX RDF
27	Cédric Bastoul, Paul Feautrier	Adjusting a Program Transformation for Legality.	Parallel Process. Lett.	2005	DBLP DOI BibTeX RDF
27	Nicholas Tyacke, Rohan Higgins	Internet Law: The legality of Internet "pop-up" ads.	Comput. Law Secur. Rev.	2005	DBLP DOI BibTeX RDF
27	Anna Formica	Legality of XML-Schema Type Hierarchies.	Comput. J.	2004	DBLP DOI BibTeX RDF
27	Mariette Jones	Legality Of Monitoring E-Mail At The Workplace: A Legal Update.	ISSA	2004	DBLP BibTeX RDF
27	Christos Goumopoulos, Panayiotis Alefragis, K. X. Thrampoulidis, Efthymios Housos	A generic legality checker and attribute evaluator for a distributed enterprise environment.	ISCC	1998	DBLP DOI BibTeX RDF
27	Shlomit Farkash, Shlomit Raz	The legality problem of linear systems in Gabor time-frequency space.	Signal Process.	1993	DBLP DOI BibTeX RDF
27	Giancarlo Nota, Sergio Orefice, Giuliano Pacini, F. Ruggiero, Genoveffa Tortora	Legality Concepts for Three-Valued Logic Programs.	Theor. Comput. Sci.	1993	DBLP DOI BibTeX RDF
27	Nacéra Madani	Legality in Inheritance Networks.	IPMU	1992	DBLP DOI BibTeX RDF
27	David B. Wortman	On Legality Assertions in Euclid.	IEEE Trans. Software Eng.	1979	DBLP DOI BibTeX RDF
15	Mark A. Rosso, Bernard J. Jansen	Smart marketing or bait & switch: competitors' brands as keywords in online advertising.	WICOW	2010	DBLP DOI BibTeX RDF	deceptive advertising, paid placement, paid search, passing off, search advertising, trademark infringement, trust, e-commerce, search engine, marketing, intellectual property, sponsored search, brand, trademark, internet advertising, search engine marketing, pay per click, keyword advertising
15	Thomas N. Smyth, Satish Kumar, Indrani Medhi, Kentaro Toyama	Where there's a will there's a way: mobile media sharing in urban india.	CHI	2010	DBLP DOI BibTeX RDF	social networking, mobile phone, video, bluetooth, sharing
15	Alain Sandoz	Design Principles for E-Government Architectures.	MCETECH	2009	DBLP DOI BibTeX RDF	systems architecting, e-government platforms, multipartite distributed transactions, design principles
15	Matteo Cristani, Elisa Burato	A complete classification of ethical attitudes in multiple agent systems.	AAMAS (2)	2009	DBLP BibTeX RDF
15	Jason Cong, Min Xie 0004	A Robust Mixed-Size Legalization and Detailed Placement Algorithm.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	2008	DBLP DOI BibTeX RDF
15	Vivek Sarkar	Code optimization of parallel programs: evolutionary vs. revolutionary approaches.	CGO	2008	DBLP DOI BibTeX RDF	parallel programs, multicore processors, code optimization
15	Shay Horovitz, Danny Dolev	LiteLoad: Content unaware routing for localizing P2P protocols.	IPDPS	2008	DBLP DOI BibTeX RDF
15	Michael D. Moffitt, David A. Papa, Zhuo Li 0001, Charles J. Alpert	Path smoothing via discrete optimization.	DAC	2008	DBLP DOI BibTeX RDF	static timing analysis, timing-driven placement
15	Jianjun Shen, Sihan Qing	A dynamic information flow model of secure systems.	AsiaCCS	2007	DBLP DOI BibTeX RDF	access control, information flow, security policy, covert channel
15	Jeffrey A. Mattson	Cyber Defense Exercise: A Service Provider Model.	World Conference on Information Security Education	2007	DBLP DOI BibTeX RDF	Cyber Defense Exercise, Training Information Assurance Professionals, Information Security Education
15	Jeremy Wazny	Experience report: functional programming in c-rules.	ICFP	2007	DBLP DOI BibTeX RDF
15	Matteo Cristani, Elisa Burato	Modelling Social Attitudes of Agents.	KES-AMSTA	2007	DBLP DOI BibTeX RDF
15	Sylvain Girbal, Nicolas Vasilache, Cédric Bastoul, Albert Cohen 0001, David Parello, Marc Sigler, Olivier Temam	Semi-Automatic Composition of Loop Transformations for Deep Parallelism and Memory Hierarchies.	Int. J. Parallel Program.	2006	DBLP DOI BibTeX RDF	semi-automatic program transformation, Compiler optimization, automatic parallelization, polyhedral model
15	Srikanta Tirthapura, Maurice Herlihy	Self-Stabilizing Distributed Queuing.	IEEE Trans. Parallel Distributed Syst.	2006	DBLP DOI BibTeX RDF	arrow protocol, self-stabilization, Distributed queue
15	Xiaotong Zhuang, Tao Zhang 0037, Santosh Pande	Using Branch Correlation to Identify Infeasible Paths for Anomaly Detection.	MICRO	2006	DBLP DOI BibTeX RDF
15	Robert Hundt, Sandya Mannarswamy, Dhruva R. Chakrabarti	Practical Structure Layout Optimization and Advice.	CGO	2006	DBLP DOI BibTeX RDF
15	Cindy Dooling, Jeff White, Cathy Lee	Software management.	SIGUCCS	2006	DBLP DOI BibTeX RDF	administrative support, communication, training, computers, audit, licenses, software management, principles
15	Hagit Attiya, Eshcar Hillel	Built-In Coloring for Highly-Concurrent Doubly-Linked Lists.	DISC	2006	DBLP DOI BibTeX RDF
15	A. Allam, J. Ramanujam, Gerald Baumgartner, P. Sadayappan	Memory minimization for tensor contractions using integer linear programming.	IPDPS	2006	DBLP DOI BibTeX RDF
15	Nicolas Vasilache, Cédric Bastoul, Albert Cohen 0001, Sylvain Girbal	Violated dependence analysis.	ICS	2006	DBLP DOI BibTeX RDF
15	Huw Williams	Standards Based Digital Rights Management - Potentially Viable or Just a Pipe Dream?	AXMEDIS	2006	DBLP DOI BibTeX RDF
15	Hai Jin 0001, Aobing Sun, Qin Zhang 0004, Ran Zheng, Ruhan He	MIGP: Medical Image Grid Platform Based on HL7 Grid Middleware.	ADVIS	2006	DBLP DOI BibTeX RDF
15	Laurens Mommers	Legitimacy and the Virtualization of Dispute Resolution.	Artif. Intell. Law	2005	DBLP DOI BibTeX RDF
15	Matteo Baldoni, Cristina Baroglio, Alberto Martelli, Viviana Patti, Claudio Schifanella	Verifying the Conformance of Web Services to Global Interaction Protocols: A First Step.	EPEW/WS-FM	2005	DBLP DOI BibTeX RDF	web service interaction protocols, formal verification, conformance test, finite state automata
15	Guilin Chen, Mahmut T. Kandemir, Mustafa Karaköy	A Constraint Network Based Approach to Memory Layout Optimization.	DATE	2005	DBLP DOI BibTeX RDF
15	G. Chen, Mahmut T. Kandemir	Optimizing embedded applications using programmer-inserted hints.	ASP-DAC	2005	DBLP DOI BibTeX RDF
15	Hyungwook Yim, Heuiseok Lim, Kinam Park, Kichun Nam	A Computation Model of Korean Lexical Processing.	ICNC (1)	2005	DBLP DOI BibTeX RDF
15	Meilin Liu, Qingfeng Zhuge, Zili Shao, Chun Xue, Mei Kang Qiu, Edwin Hsing-Mean Sha	Loop Distribution and Fusion with Timing and Code Size Optimization for Embedded DSPs.	EUC	2005	DBLP DOI BibTeX RDF	Loop Distribution, Embedded DSP, Scheduling, Code Size, Loop Fusion
15	Zhi Zheng 0007, Tony K. Y. Chan	View-dependent progressive mesh using non-redundant DAG hierarchy.	GRAPHITE	2005	DBLP DOI BibTeX RDF	level of detail, view-dependent refinement, multiresolution mesh
15	Ralf Borndörfer, Uwe Schelten, Thomas Schlechte, Steffen Weider	A Column Generation Approach to Airline Crew Scheduling.	OR	2005	DBLP DOI BibTeX RDF
15	Chin-Chen Chang 0001, Jui-Yi Kuo	An Efficient Multi-Server Password Authenticated Key Agreement Scheme Using Smart Cards with Access Control.	AINA	2005	DBLP DOI BibTeX RDF
15	Matteo Baldoni, Cristina Baroglio, Alberto Martelli, Viviana Patti	Verification of Protocol Conformance and Agent Interoperability.	CLIMA	2005	DBLP DOI BibTeX RDF
15	Deshanand P. Singh, Valavan Manohararajah, Stephen Dean Brown	Incremental retiming for FPGA physical synthesis.	DAC	2005	DBLP DOI BibTeX RDF	FPGA, retiming, physical synthesis
15	Cédric Bastoul, Paul Feautrier	More Legal Transformations for Locality.	Euro-Par	2004	DBLP DOI BibTeX RDF
15	Holger M. Kienle, Daniel M. Germán, Hausi A. Müller	Legal Concerns of Web Site Reverse Engineering.	WSE	2004	DBLP DOI BibTeX RDF
15	Manik Lal Das, Ashutosh Saxena, Ved Prakash Gulati	A Novel Remote User Authentication Scheme Through Dynamic Login Identity.	IWDC	2004	DBLP DOI BibTeX RDF
15	Thi Viet Nga Nguyen, François Irigoin, Corinne Ancourt, Fabien Coelho	Automatic Detection of Uninitialized Variables.	CC	2003	DBLP DOI BibTeX RDF
15	Wook Shin, Dong-Ik Lee, Hyoung-Chun Kim, Jung-Min Kang, Jin-Seok Lee	Extended Role Based Access Control and Procedural Restrictions.	ICISC	2003	DBLP DOI BibTeX RDF
15	Jacob Zimmermann, Ludovic Mé, Christophe Bidan	An Improved Reference Flow Control Model for Policy-Based Intrusion Detection.	ESORICS	2003	DBLP DOI BibTeX RDF	Policy-based intrusion detection, access control, information flow control
15	Daniel Hughes 0001, Ian Warren, Geoff Coulson	AGnuS: The Altruistic Gnutella Server.	Peer-to-Peer Computing	2003	DBLP DOI BibTeX RDF
15	Riccardo Pucella	Towards a formalization for COM part i: the primitive calculus.	OOPSLA	2002	DBLP DOI BibTeX RDF	components, interfaces, type system, formalism, calculus, COM
15	John R. Douceur, Atul Adya, Josh Benaloh, William J. Bolosky, Gideon Yuval	A Secure Directory Service based on Exclusive Encryption.	ACSAC	2002	DBLP DOI BibTeX RDF
15	Maurice Herlihy, Srikanta Tirthapura	Self Stabilizing Distributed Queuing.	DISC	2001	DBLP DOI BibTeX RDF
15	Laurent Perrussel, Pierre-Jean Charrel	Inconsistent Requirements: An Argumentation View.	ICTAI	2001	DBLP DOI BibTeX RDF	> Collaborative Software Agents, Search, Distributed AI, Distributed Constraint Satisfaction
15	Samir Loudni, Patrice Boizumault	A New Hybrid Method for Solving Constraint Optimization Problems in Anytime Contexts.	ICTAI	2001	DBLP DOI BibTeX RDF	Anytime Problems, Local Search Methods, Constraint-Satisfaction, Hybrid Methods, Constraint-Optimization
15	Andrew E. Caldwell, Andrew B. Kahng, Igor L. Markov	Optimal partitioners and end-case placers for standard-cell layout.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	2000	DBLP DOI BibTeX RDF
15	Erich J. Neuhold	Business to Business Electronic Commerce at Work.	HICSS	2000	DBLP DOI BibTeX RDF
15	Sihem Amer-Yahia, H. V. Jagadish, Laks V. S. Lakshmanan, Divesh Srivastava	On Bounding-Schemas for LDAP Directories.	EDBT	2000	DBLP DOI BibTeX RDF
15	Bradford L. Chamberlain, E. Christopher Lewis, Lawrence Snyder	Language Support for Pipelining Wavefront Computations.	LCPC	1999	DBLP DOI BibTeX RDF
15	William W. Pugh, David Wonnacott	Constraint-Based Array Dependence Analysis.	ACM Trans. Program. Lang. Syst.	1998	DBLP DOI BibTeX RDF	array dataflow analysis, dependence abstraction, parallelization, static analysis, dependence analysis, Presburger Arithmetic