Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
58 | Taisuke Izumi, Toshimitsu Masuzawa |
Synchronous Condition-Based Consensus Adapting to Input-Vector Legality. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DISC ![In: Distributed Computing, 18th International Conference, DISC 2004, Amsterdam, The Netherlands, October 4-7, 2004, Proceedings, pp. 16-29, 2004, Springer, 3-540-23306-7. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
48 | Michael E. Wolf, Monica S. Lam |
A Loop Transformation Theory and an Algorithm to Maximize Parallelism. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Parallel Distributed Syst. ![In: IEEE Trans. Parallel Distributed Syst. 2(4), pp. 452-471, 1991. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPMI ![In: Information Processing in Medical Imaging, 20th International Conference, IPMI 2007, Kerkrade, The Netherlands, July 2-6, 2007, Proceedings, pp. 751-762, 2007, Springer, 978-3-540-73272-3. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
46 | Taisuke Izumi, Toshimitsu Masuzawa |
Condition Adaptation in Synchronous Consensus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Computers ![In: IEEE Trans. Computers 55(7), pp. 843-853, 2006. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIROCCO ![In: Structural Information and Communication Complexity, 12th International Colloquium, SIROCCO 2005, Mont Saint-Michel, France, May 24-26, 2005, Proceedings, pp. 170-184, 2005, Springer, 3-540-26052-8. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
42 | Christopher Swenson, Charles Adams, Anthony Whitledge, Sujeet Shenoi |
On the Legality of Analyzing Telephone Call Records. (PDF / PS) ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFIP Int. Conf. Digital Forensics ![In: Advances in Digital Forensics III - IFIP International Conference on Digital Forensics, National Centre for Forensic Science, Orlando, Florida, USA, January 28-31, 2007, pp. 21-39, 2007, Springer, 978-0-387-73741-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WCRE ![In: 12th Working Conference on Reverse Engineering, WCRE 2005, Pittsburgh, PA, USA, November 7-11, 2005, pp. 35-44, 2005, IEEE Computer Society, 0-7695-2474-5. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
42 | Jean-Loup Baer, Daniel P. Bovet, Gerald Estrin |
Legality and Other Properties of Graph Models of Computations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. ACM ![In: J. ACM 17(3), pp. 543-554, 1970. The full citation details ...](Pics/full.jpeg) |
1970 |
DBLP DOI BibTeX RDF |
|
33 | Richard C. Holt, David B. Wortman, James R. Cordy, David R. Crowe |
The Euclid Language: a progress report. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Annual Conference (1) ![In: Proceedings 1978 ACM Annual Conference, Washington, DC, USA, December 4-6, 1978, Volume I, pp. 111-115, 1978, ACM, 978-0-89791-000-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Parallel Program. ![In: Int. J. Parallel Program. 32(6), pp. 501-523, 2004. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CIT ![In: 2004 International Conference on Computer and Information Technology (CIT 2004), 14-16 September 2004, Wuhan, China, pp. 482-487, 2004, IEEE Computer Society, 0-7695-2216-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFEM ![In: Formal Methods and Software Engineering, 4th International Conference on Formal Engineering Methods, ICFEM 2002 Shanghai, China, October 21-25, 2002, Proceedings, pp. 132-143, 2002, Springer, 3-540-00029-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM SIGPLAN Notices ![In: ACM SIGPLAN Notices 32(6), pp. 69-74, 1997. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Technol. Soc. Mag. ![In: IEEE Technol. Soc. Mag. 42(4), pp. 87-94, December 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
27 | Madeleine Waller, Odinaldo Rodrigues, Oana Cocarascu |
Recommendations for Bias Mitigation Methods: Applicability and Legality. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AEQUITAS@ECAI ![In: Proceedings of the 1st Workshop on Fairness and Bias in AI co-located with 26th European Conference on Artificial Intelligence (ECAI 2023), Kraków, Poland, October 1st, 2023., 2023, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EWAF ![In: Proceedings of the 2nd European Workshop on Algorithmic Fairness, Winterthur, Switzerland, June 7th to 9th, 2023., 2023, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP BibTeX RDF |
|
27 | Dessy Harisanty, Esti Putri Anugrah |
Legality of electronic archive management in realizing Indonesia E-government. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Digit. Libr. Perspect. ![In: Digit. Libr. Perspect. 38(1), pp. 88-103, 2022. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFDaD ![In: Proceedings of the Second International Forum on Digital and Democracy November 17-18, 2022, live and digital event in Rome, Italy, November 17-18, 2022, live and digital event in Rome, Italy., 2022, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Concurr. Comput. Pract. Exp. ![In: Concurr. Comput. Pract. Exp. 33(23), 2021. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
First Monday ![In: First Monday 26(5), 2021. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JSAI-isAI Workshops ![In: New Frontiers in Artificial Intelligence - JSAI-isAI 2021 Workshops, JURISIN, LENLS18, SCIDOCA, Kansei-AI, AI-BIZ, Yokohama, Japan, November 13-15, 2021, Revised Selected Papers, pp. 335-350, 2021, Springer, 978-3-031-36189-0. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
27 | Vlad Krotov, Leigh Johnson, Leiser Silva |
Tutorial: Legality and Ethics of Web Scraping. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Commun. Assoc. Inf. Syst. ![In: Commun. Assoc. Inf. Syst. 47, pp. 22, 2020. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CHI Extended Abstracts ![In: Extended Abstracts of the 2020 CHI Conference on Human Factors in Computing Systems, CHI 2020, Honolulu, HI, USA, April 25-30, 2020, pp. 1-8, 2020, ACM, 978-1-4503-6819-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ann. GIS ![In: Ann. GIS 25(4), pp. 299-312, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
27 | Jakub Fucík, Libor Frank, Richard Stojar |
Legality and Legitimacy of the Autonomous Weapon Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MESAS ![In: Modelling and Simulation for Autonomous Systems - 6th International Conference, MESAS 2019, Palermo, Italy, October 29-31, 2019, Revised Selected Papers, pp. 409-416, 2019, Springer, 978-3-030-43889-0. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
27 | Vlad Krotov, Leiser Silva |
Legality and Ethics of Web Scraping. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AMCIS ![In: 24th Americas Conference on Information Systems, AMCIS 2018, New Orleans, LA, USA, August 16-18, 2018, 2018, Association for Information Systems, 978-0-9966831-6-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Data Min. Knowl. Discov. ![In: Data Min. Knowl. Discov. 31(6), pp. 1706-1734, 2017. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Law Secur. Rev. ![In: Comput. Law Secur. Rev. 32(4), pp. 599-614, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
27 | Cédric Bastoul |
Mapping deviation: a technique to adapt or to guard loop transformation intuitions for legality. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CC ![In: Proceedings of the 25th International Conference on Compiler Construction, CC 2016, Barcelona, Spain, March 12-18, 2016, pp. 229-239, 2016, ACM, 978-1-4503-4241-4. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
27 | Krishnendu Chatterjee, Rasmus Ibsen-Jensen |
The Complexity of Deciding Legality of a Single Step of Magic: The Gathering. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECAI ![In: ECAI 2016 - 22nd European Conference on Artificial Intelligence, 29 August-2 September 2016, The Hague, The Netherlands - Including Prestigious Applications of Artificial Intelligence (PAIS 2016), pp. 1432-1439, 2016, IOS Press, 978-1-61499-671-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCST ![In: International Carnahan Conference on Security Technology, ICCST 2014, Rome, Italy, October 13-16, 2014, pp. 1-6, 2014, IEEE, 978-1-4799-3530-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Netw. Comput. Appl. ![In: J. Netw. Comput. Appl. 36(1), pp. 533-542, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
27 | Anne J. Lee |
The Legality of State Protectionist Laws Against Legal Process Outsourcing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Telecommun. High Technol. Law ![In: J. Telecommun. High Technol. Law 11(1), pp. 325-, 2013. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HICSS ![In: 46th Hawaii International Conference on System Sciences, HICSS 2013, Wailea, HI, USA, January 7-10, 2013, pp. 3148-3157, 2013, IEEE Computer Society, 978-1-4673-5933-7. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
27 | Yi-jie Tang, Cong-Kai Lin, Hsin-Hsi Chen |
Advertising Legality Recognition. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COLING (Posters) ![In: COLING 2012, 24th International Conference on Computational Linguistics, Proceedings of the Conference: Posters, 8-15 December 2012, Mumbai, India, pp. 1219-1228, 2012, Indian Institute of Technology Bombay. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP BibTeX RDF |
|
27 | Alexander Lokhman, Antti Luoto, Salum Abdul-Rahman, Imed Hammouda |
OSSLI: Architecture Level Management of Open Source Software Legality Concerns. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OSS ![In: Open Source Systems: Long-Term Sustainability - 8th IFIP WG 2.13 International Conference, OSS 2012, Hammamet, Tunisia, September 10-13, 2012. Proceedings, pp. 356-361, 2012, Springer, 978-3-642-33441-2. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
27 | Joss Wright, Tulio de Souza, Ian Brown |
Fine-Grained Censorship Mapping: Information Sources, Legality and Ethics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FOCI ![In: USENIX Workshop on Free and Open Communications on the Internet, FOCI '11, San Francisco, CA, USA, August 8, 2011, 2011, USENIX Association. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP BibTeX RDF |
|
27 | Mason Rice, Jonathan Butts, Robert Miller, Sujeet Shenoi |
An analysis of the legality of government-mandated computer inoculations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Crit. Infrastructure Prot. ![In: Int. J. Crit. Infrastructure Prot. 3(1), pp. 5-15, 2010. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Eur. J. Law Technol. ![In: Eur. J. Law Technol. 1(3), 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
27 | Imed Hammouda, Tommi Mikkonen, Ville Oksanen, Ari Jaaksi |
Open source legality patterns: architectural design decisions motivated by legal concerns. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MindTrek ![In: Proceedings of the 14th International Academic MindTrek Conference: Envisioning Future Media Environments, MindTrek 2010, Tampere, Finland, October 6-8, 2010, pp. 207-214, 2010, ACM, 978-1-4503-0011-7. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
27 | Stephen Bono, Aviel D. Rubin, Adam Stubblefield, Matthew Green 0001 |
Security through legality. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Commun. ACM ![In: Commun. ACM 49(6), pp. 41-43, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
27 | Cédric Bastoul, Paul Feautrier |
Adjusting a Program Transformation for Legality. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Parallel Process. Lett. ![In: Parallel Process. Lett. 15(1-2), pp. 3-18, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
27 | Nicholas Tyacke, Rohan Higgins |
Internet Law: The legality of Internet "pop-up" ads. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Law Secur. Rev. ![In: Comput. Law Secur. Rev. 21(3), pp. 262-265, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
27 | Anna Formica |
Legality of XML-Schema Type Hierarchies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. J. ![In: Comput. J. 47(5), pp. 591-601, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
27 | Mariette Jones |
Legality Of Monitoring E-Mail At The Workplace: A Legal Update. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSA ![In: Proceedings of the ISSA 2004 Enabling Tomorrow Conference, 30 June - 1 July 2004, Gallagher Estate, Midrand, South Africa, pp. 1-11, 2004, ISSA, Pretoria, South Africa, 1-86854-522-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISCC ![In: Proceedings of the Third IEEE Symposium on Computers and Communications (ISCC 1998), June 30 - July 2, 1998, Athens, Greece, pp. 286-292, 1998, IEEE Computer Society, 0-8186-8538-7. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
27 | Shlomit Farkash, Shlomit Raz |
The legality problem of linear systems in Gabor time-frequency space. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Signal Process. ![In: Signal Process. 34(3), pp. 283-295, 1993. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
27 | Giancarlo Nota, Sergio Orefice, Giuliano Pacini, F. Ruggiero, Genoveffa Tortora |
Legality Concepts for Three-Valued Logic Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theor. Comput. Sci. ![In: Theor. Comput. Sci. 120(1), pp. 45-68, 1993. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
27 | Nacéra Madani |
Legality in Inheritance Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPMU ![In: IPMU '92 - Advanced Methods in Artificial Intelligence, 4th International Conference on Processing and Management of Uncertainty in Knowledge-Based Systems, Palma de Mallorca, Spain, July 6-10, 1992, Proceedings, pp. 53-62, 1992, Springer, 3-540-56735-6. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
27 | David B. Wortman |
On Legality Assertions in Euclid. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 5(4), pp. 359-367, 1979. The full citation details ...](Pics/full.jpeg) |
1979 |
DBLP DOI BibTeX RDF |
|
15 | Mark A. Rosso, Bernard J. Jansen |
Smart marketing or bait & switch: competitors' brands as keywords in online advertising. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WICOW ![In: Proceedings of the 4th ACM Workshop on Information Credibility on the Web, WICOW 2010, Raleigh, North Carolina, USA, April 27, 2010, pp. 27-34, 2010, ACM, 978-1-60558-940-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CHI ![In: Proceedings of the 28th International Conference on Human Factors in Computing Systems, CHI 2010, Atlanta, Georgia, USA, April 10-15, 2010, pp. 753-762, 2010, ACM, 978-1-60558-929-9. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
social networking, mobile phone, video, bluetooth, sharing |
15 | Alain Sandoz |
Design Principles for E-Government Architectures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MCETECH ![In: E-Technologies: Innovation in an Open World, 4th International Conference, MCETECH 2009, Ottawa, Canada, May 4-6, 2009. Proceedings, pp. 240-245, 2009, Springer, 978-3-642-01186-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAMAS (2) ![In: 8th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2009), Budapest, Hungary, May 10-15, 2009, Volume 2, pp. 1217-1218, 2009, IFAAMAS, 978-0-9817381-7-8. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP BibTeX RDF |
|
15 | Jason Cong, Min Xie 0004 |
A Robust Mixed-Size Legalization and Detailed Placement Algorithm. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. ![In: IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 27(8), pp. 1349-1362, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
15 | Vivek Sarkar |
Code optimization of parallel programs: evolutionary vs. revolutionary approaches. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CGO ![In: Sixth International Symposium on Code Generation and Optimization (CGO 2008), April 5-9, 2008, Boston, MA, USA, pp. 1, 2008, ACM, 978-1-59593-978-4. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
parallel programs, multicore processors, code optimization |
15 | Shay Horovitz, Danny Dolev |
LiteLoad: Content unaware routing for localizing P2P protocols. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPDPS ![In: 22nd IEEE International Symposium on Parallel and Distributed Processing, IPDPS 2008, Miami, Florida USA, April 14-18, 2008, pp. 1-8, 2008, IEEE. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
15 | Michael D. Moffitt, David A. Papa, Zhuo Li 0001, Charles J. Alpert |
Path smoothing via discrete optimization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DAC ![In: Proceedings of the 45th Design Automation Conference, DAC 2008, Anaheim, CA, USA, June 8-13, 2008, pp. 724-727, 2008, ACM, 978-1-60558-115-6. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
static timing analysis, timing-driven placement |
15 | Jianjun Shen, Sihan Qing |
A dynamic information flow model of secure systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AsiaCCS ![In: Proceedings of the 2007 ACM Symposium on Information, Computer and Communications Security, ASIACCS 2007, Singapore, March 20-22, 2007, pp. 341-343, 2007, ACM, 1-59593-574-6. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
access control, information flow, security policy, covert channel |
15 | Jeffrey A. Mattson |
Cyber Defense Exercise: A Service Provider Model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
World Conference on Information Security Education ![In: Fifth World Conference on Information Security Education, Proceedings of the IFIP TC11 WG 11.8, WISE 5, 19 to 21 June 2007, United States Military Academy, West Point, New York, USA, pp. 81-86, 2007, Springer, 978-0-387-73268-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFP ![In: Proceedings of the 12th ACM SIGPLAN International Conference on Functional Programming, ICFP 2007, Freiburg, Germany, October 1-3, 2007, pp. 25-28, 2007, ACM, 978-1-59593-815-2. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
15 | Matteo Cristani, Elisa Burato |
Modelling Social Attitudes of Agents. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KES-AMSTA ![In: Agent and Multi-Agent Systems: Technologies and Applications, First KES International Symposium, KES-AMSTA 2007, Wroclaw, Poland, May 31- June 1, 2007, Proceedings, pp. 63-72, 2007, Springer, 978-3-540-72829-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Parallel Program. ![In: Int. J. Parallel Program. 34(3), pp. 261-317, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
semi-automatic program transformation, Compiler optimization, automatic parallelization, polyhedral model |
15 | Srikanta Tirthapura, Maurice Herlihy |
Self-Stabilizing Distributed Queuing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Parallel Distributed Syst. ![In: IEEE Trans. Parallel Distributed Syst. 17(7), pp. 646-655, 2006. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MICRO ![In: 39th Annual IEEE/ACM International Symposium on Microarchitecture (MICRO-39 2006), 9-13 December 2006, Orlando, Florida, USA, pp. 113-122, 2006, IEEE Computer Society, 0-7695-2732-9. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
15 | Robert Hundt, Sandya Mannarswamy, Dhruva R. Chakrabarti |
Practical Structure Layout Optimization and Advice. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CGO ![In: Fourth IEEE/ACM International Symposium on Code Generation and Optimization (CGO 2006), 26-29 March 2006, New York, New York, USA, pp. 233-244, 2006, IEEE Computer Society, 0-7695-2499-0. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
15 | Cindy Dooling, Jeff White, Cathy Lee |
Software management. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGUCCS ![In: Proceedings of the 34th Annual ACM SIGUCCS Conference on User Services 2006, Edmonton, Alberta, Canada, November 5-8, 2006, pp. 89-93, 2006, ACM, 1-59593-438-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DISC ![In: Distributed Computing, 20th International Symposium, DISC 2006, Stockholm, Sweden, September 18-20, 2006, Proceedings, pp. 31-45, 2006, Springer, 3-540-44624-9. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
15 | A. Allam, J. Ramanujam, Gerald Baumgartner, P. Sadayappan |
Memory minimization for tensor contractions using integer linear programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPDPS ![In: 20th International Parallel and Distributed Processing Symposium (IPDPS 2006), Proceedings, 25-29 April 2006, Rhodes Island, Greece, 2006, IEEE. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
15 | Nicolas Vasilache, Cédric Bastoul, Albert Cohen 0001, Sylvain Girbal |
Violated dependence analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICS ![In: Proceedings of the 20th Annual International Conference on Supercomputing, ICS 2006, Cairns, Queensland, Australia, June 28 - July 01, 2006, pp. 335-344, 2006, ACM, 1-59593-282-8. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
15 | Huw Williams |
Standards Based Digital Rights Management - Potentially Viable or Just a Pipe Dream? ![Search on Bibsonomy](Pics/bibsonomy.png) |
AXMEDIS ![In: Proceedings of the Second International Conference on Automated Production of Cross Media Content for Multi-Channel Distribution, AXMEDIS 2006, Leeds, UK, December 13-15, 2006, pp. 3, 2006, IEEE Computer Society, 0-7695-2625-X. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ADVIS ![In: Advances in Information Systems, 4th International Conference, ADVIS 2006, Izmir, Turkey, October 18-20, 2006, Proceedings, pp. 254-263, 2006, Springer, 3-540-46291-0. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
15 | Laurens Mommers |
Legitimacy and the Virtualization of Dispute Resolution. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Artif. Intell. Law ![In: Artif. Intell. Law 13(2), pp. 207-232, 2005. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EPEW/WS-FM ![In: Formal Techniques for Computer Systems and Business Processes, European Performance Engineering Workshop, EPEW 2005 and International Workshop on Web Services and Formal Methods, WS-FM 2005, Versailles, France, September 1-3, 2005, Proceedings, pp. 257-271, 2005, Springer, 3-540-28701-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DATE ![In: 2005 Design, Automation and Test in Europe Conference and Exposition (DATE 2005), 7-11 March 2005, Munich, Germany, pp. 1156-1161, 2005, IEEE Computer Society, 0-7695-2288-2. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
15 | G. Chen, Mahmut T. Kandemir |
Optimizing embedded applications using programmer-inserted hints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASP-DAC ![In: Proceedings of the 2005 Conference on Asia South Pacific Design Automation, ASP-DAC 2005, Shanghai, China, January 18-21, 2005, pp. 157-160, 2005, ACM Press, 0-7803-8737-6. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
15 | Hyungwook Yim, Heuiseok Lim, Kinam Park, Kichun Nam |
A Computation Model of Korean Lexical Processing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICNC (1) ![In: Advances in Natural Computation, First International Conference, ICNC 2005, Changsha, China, August 27-29, 2005, Proceedings, Part I, pp. 844-849, 2005, Springer, 3-540-28323-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EUC ![In: Embedded and Ubiquitous Computing - EUC 2005, International Conference EUC 2005, Nagasaki, Japan, December 6-9, 2005, Proceedings, pp. 121-130, 2005, Springer, 3-540-30807-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GRAPHITE ![In: Proceedings of the 3rd International Conference on Computer Graphics and Interactive Techniques in Australasia and Southeast Asia 2005, Dunedin, New Zealand, November 29 - December 2, 2005, pp. 417-420, 2005, ACM, 1-59593-201-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OR ![In: Operations Research Proceedings 2005, Selected Papers of the Annual International Conference of the German Operations Research Society (GOR), Bremen, Germany, September 7-9, 2005, pp. 343-348, 2005, 978-3-540-32537-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AINA ![In: 19th International Conference on Advanced Information Networking and Applications (AINA 2005), 28-30 March 2005, Taipei, Taiwan, pp. 257-260, 2005, IEEE Computer Society, 0-7695-2249-1. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
15 | Matteo Baldoni, Cristina Baroglio, Alberto Martelli, Viviana Patti |
Verification of Protocol Conformance and Agent Interoperability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CLIMA ![In: Computational Logic in Multi-Agent Systems, 6th International Workshop, CLIMA VI, London, UK, June 27-29, 2005, Revised Selected and Invited Papers, pp. 265-283, 2005, Springer, 3-540-33996-5. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
15 | Deshanand P. Singh, Valavan Manohararajah, Stephen Dean Brown |
Incremental retiming for FPGA physical synthesis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DAC ![In: Proceedings of the 42nd Design Automation Conference, DAC 2005, San Diego, CA, USA, June 13-17, 2005, pp. 433-438, 2005, ACM, 1-59593-058-2. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
FPGA, retiming, physical synthesis |
15 | Cédric Bastoul, Paul Feautrier |
More Legal Transformations for Locality. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Euro-Par ![In: Euro-Par 2004 Parallel Processing, 10th International Euro-Par Conference, Pisa, Italy, August 31-September 3, 2004, Proceedings, pp. 272-283, 2004, Springer, 3-540-22924-8. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
15 | Holger M. Kienle, Daniel M. Germán, Hausi A. Müller |
Legal Concerns of Web Site Reverse Engineering. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WSE ![In: 6th International Workshop on Web Site Evolution (WSE 2004) - Testing, 11 September 2004, Chicago, IL, USA, pp. 41-50, 2004, IEEE Computer Society, 0-7695-2224-6. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
15 | Manik Lal Das, Ashutosh Saxena, Ved Prakash Gulati |
A Novel Remote User Authentication Scheme Through Dynamic Login Identity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IWDC ![In: Distributed Computing - IWDC 2004, 6th International Workshop, Kolkata, India, December 27-30, 2004, Proceedings, pp. 532, 2004, Springer, 3-540-24076-4. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
15 | Thi Viet Nga Nguyen, François Irigoin, Corinne Ancourt, Fabien Coelho |
Automatic Detection of Uninitialized Variables. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CC ![In: Compiler Construction, 12th International Conference, CC 2003, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003, Warsaw, Poland, April 7-11, 2003, Proceedings, pp. 217-231, 2003, Springer, 3-540-00904-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICISC ![In: Information Security and Cryptology - ICISC 2003, 6th International Conference, Seoul, Korea, November 27-28, 2003, Revised Papers, pp. 184-196, 2003, Springer, 3-540-21376-7. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
15 | Jacob Zimmermann, Ludovic Mé, Christophe Bidan |
An Improved Reference Flow Control Model for Policy-Based Intrusion Detection. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESORICS ![In: Computer Security - ESORICS 2003, 8th European Symposium on Research in Computer Security, Gjøvik, Norway, October 13-15, 2003, Proceedings, pp. 291-308, 2003, Springer, 3-540-20300-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Peer-to-Peer Computing ![In: 3rd International Conference on Peer-to-Peer Computing (P2P 2003), 1-3 September 2003, Linköping, Sweden, pp. 202-203, 2003, IEEE Computer Society, 0-7695-2023-5. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
15 | Riccardo Pucella |
Towards a formalization for COM part i: the primitive calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OOPSLA ![In: Proceedings of the 2002 ACM SIGPLAN Conference on Object-Oriented Programming Systems, Languages and Applications, OOPSLA 2002, Seattle, Washington, USA, November 4-8, 2002., pp. 331-342, 2002, ACM, 1-58113-471-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACSAC ![In: 18th Annual Computer Security Applications Conference (ACSAC 2002), 9-13 December 2002, Las Vegas, NV, USA, pp. 172-182, 2002, IEEE Computer Society, 0-7695-1828-1. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
15 | Maurice Herlihy, Srikanta Tirthapura |
Self Stabilizing Distributed Queuing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DISC ![In: Distributed Computing, 15th International Conference, DISC 2001, Lisbon, Portugal, October 3-5, 2001, Proceedings, pp. 209-223, 2001, Springer, 3-540-42605-1. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
15 | Laurent Perrussel, Pierre-Jean Charrel |
Inconsistent Requirements: An Argumentation View. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTAI ![In: 13th IEEE International Conference on Tools with Artificial Intelligence, ICTAI 2001, Dallas, Texas, USA, November 7-9, 2001, pp. 79-86, 2001, IEEE Computer Society, 0-7695-1417-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTAI ![In: 13th IEEE International Conference on Tools with Artificial Intelligence, ICTAI 2001, Dallas, Texas, USA, November 7-9, 2001, pp. 325-332, 2001, IEEE Computer Society, 0-7695-1417-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. ![In: IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 19(11), pp. 1304-1313, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
15 | Erich J. Neuhold |
Business to Business Electronic Commerce at Work. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HICSS ![In: 33rd Annual Hawaii International Conference on System Sciences (HICSS-33), 4-7 January, 2000, Maui, Hawaii, USA, 2000, IEEE Computer Society, 0-7695-0493-0. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
15 | Sihem Amer-Yahia, H. V. Jagadish, Laks V. S. Lakshmanan, Divesh Srivastava |
On Bounding-Schemas for LDAP Directories. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EDBT ![In: Advances in Database Technology - EDBT 2000, 7th International Conference on Extending Database Technology, Konstanz, Germany, March 27-31, 2000, Proceedings, pp. 287-301, 2000, Springer, 3-540-67227-3. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
15 | Bradford L. Chamberlain, E. Christopher Lewis, Lawrence Snyder |
Language Support for Pipelining Wavefront Computations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LCPC ![In: Languages and Compilers for Parallel Computing, 12th International Workshop, LCPC'99, La Jolla/San Diego, CA, USA, August 4-6, 1999, Proceedings, pp. 318-332, 1999, Springer, 3-540-67858-1. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
15 | William W. Pugh, David Wonnacott |
Constraint-Based Array Dependence Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Program. Lang. Syst. ![In: ACM Trans. Program. Lang. Syst. 20(3), pp. 635-678, 1998. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
array dataflow analysis, dependence abstraction, parallelization, static analysis, dependence analysis, Presburger Arithmetic |