Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
70 | Daryl McCullough |
A Hookup Theorem for Multilevel Security. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 16(6), pp. 563-568, 1990. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
user inferences, hookup theorem, trusted multilevel systems, hookup property, secure restrictive composite system, software engineering, security policy, security of data, multilevel security, inference control, composable, security property, restrictiveness, sensitive information |
68 | Stephen H. Brackin, Shiu-Kai Chin |
Server-Process Restrictiveness in HOL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HUG ![In: Higher Order Logic Theorem Proving and its Applications, 6th International Workshop, HUG '93, Vancouver, BC, Canada, August 11-13, 1993, Proceedings, pp. 450-463, 1993, Springer, 3-540-57826-9. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
50 | Birgit Pfitzmann, Ahmad-Reza Sadeghi |
Anonymous Fingerprinting with Direct Non-repudiation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASIACRYPT ![In: Advances in Cryptology - ASIACRYPT 2000, 6th International Conference on the Theory and Application of Cryptology and Information Security, Kyoto, Japan, December 3-7, 2000, Proceedings, pp. 401-414, 2000, Springer, 3-540-41404-5. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
digital coin, anonymity, fingerprinting, restrictiveness |
50 | Aris Zakinthinos, E. Stewart Lee |
How and why feedback composition fails [secure systems]. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSFW ![In: Ninth IEEE Computer Security Foundations Workshop, March 10 - 12, 1996, Dromquinna Manor, Kenmare, County Kerry, Ireland, pp. 95-101, 1996, IEEE Computer Society, 0-8186-7522-5. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
feedback composition, generalized noninterference, secure components, n-forward correctability, system designer, security of data, composability, necessary and sufficient conditions, restrictiveness |
48 | Youngjin Kim, Starr Roxanne Hiltz, Murray Turoff |
Coordination Structure and System Restrictiveness in Distributed Group Support Systems: An Experiment on Coordination Mode and Leadership. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HICSS (1) ![In: Thirty-First Annual Hawaii International Conference on System Sciences, Kohala Coast, Hawaii, USA, January 6-9, 1998, pp. 145-, 1998, IEEE Computer Society, 0-8186-8255-8. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
39 | Katherine J. Stewart, Anthony P. Ammeter, Likoebe M. Maruping |
A Preliminary Analysis of the Influences of Licensing and Organizational Sponsorship on Success in Open Source Projects. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HICSS ![In: 38th Hawaii International Conference on System Sciences (HICSS-38 2005), CD-ROM / Abstracts Proceedings, 3-6 January 2005, Big Island, HI, USA, 2005, IEEE Computer Society, 0-7695-2268-8. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
39 | Bradley C. Wheeler, Eric L. Santanen |
Technology Supported Learning - Minitrack Introduction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HICSS ![In: 34th Annual Hawaii International Conference on System Sciences (HICSS-34), January 3-6, 2001, Maui, Hawaii, USA, 2001, IEEE Computer Society, 0-7695-0981-9. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
29 | Alberto Un Jan |
Relationship Between Opinion Diffusion, Sense of Community, and Behavioral Consequences Moderated by Privacy Restrictiveness and Site Experience. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Engineering Management ![In: IEEE Trans. Engineering Management 71, pp. 3402-3413, 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
29 | Mostafa Mohammadi, Ana S. S. Cardoso, Lotte N. S. Andreasen Struijk |
Using workspace restrictiveness for adaptive velocity adjustment of assistive robots and upper limb exoskeletons. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EMBC ![In: 45th Annual International Conference of the IEEE Engineering in Medicine & Biology Society, EMBC 2023, Sydney, Australia, July 24-27, 2023, pp. 1-4, 2023, IEEE, 979-8-3503-2447-1. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
29 | Richard Weinhold |
Evaluating Policy Implications on the Restrictiveness of Flow-based Market Coupling with High Shares of Intermittent Generation: A Case Study for Central Western Europe. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2109.04940, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
29 | Drew Fudenberg, Wayne Gao, Annie Liang |
How Flexible is that Functional Form?: Measuring the Restrictiveness of Theories. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EC ![In: EC '21: The 22nd ACM Conference on Economics and Computation, Budapest, Hungary, July 18-23, 2021, pp. 497-498, 2021, ACM, 978-1-4503-8554-1. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
29 | Drew Fudenberg, Wayne Gao, Annie Liang |
How Flexible is that Functional Form? Quantifying the Restrictiveness of Theories. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2007.09213, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
29 | Jia Li 0024, Xinmiao Li, David C. Yen, Pengzhu Zhang |
Impact of Online Review Grouping on Consumers' System Usage Behavior: A System Restrictiveness Perspective. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Glob. Inf. Manag. ![In: J. Glob. Inf. Manag. 24(4), pp. 45-66, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
29 | Luca Incurvati, Benedikt Löwe |
Restrictiveness Relative to Notions of Interpretation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Rev. Symb. Log. ![In: Rev. Symb. Log. 9(2), pp. 238-250, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
29 | Jeffry S. Babb, Mark J. Keith, Paul John Steinbart |
Can Relaxing Security Policy Restrictiveness Improve User Behavior? A Field Study of Authentication Credential Usage. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HICSS ![In: 49th Hawaii International Conference on System Sciences, HICSS 2016, Koloa, HI, USA, January 5-8, 2016, pp. 4803-4812, 2016, IEEE Computer Society, 978-0-7695-5670-3. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
29 | Elitsa Alexander, Sabrina Bresciani, Martin J. Eppler |
Understanding the impact of visual representation restrictiveness on experience sharing: An experimental assessment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Vis. Lang. Comput. ![In: J. Vis. Lang. Comput. 31, pp. 30-46, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
29 | Irina Malaescu, Steve G. Sutton |
The effects of decision aid structural restrictiveness on cognitive load, perceived usefulness, and reuse intentions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Account. Inf. Syst. ![In: Int. J. Account. Inf. Syst. 17, pp. 16-36, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
29 | Jared Hansen, Eric A. Walden |
The Role of Restrictiveness of Use in Determining Ethical and Legal Awareness of Unauthorized File Sharing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Assoc. Inf. Syst. ![In: J. Assoc. Inf. Syst. 14(9), pp. 1, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
29 | Nancy K. Lankton, D. Harrison McKnight, Jason Bennett Thatcher |
The Moderating Effects of Privacy Restrictiveness and Experience on Trusting Beliefs and Habit: An Empirical Test of Intention to Continue Using a Social Networking Website. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Engineering Management ![In: IEEE Trans. Engineering Management 59(4), pp. 654-665, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
29 | Poh-Sun Seow |
The effects of decision aid structural restrictiveness on decision-making outcomes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Account. Inf. Syst. ![In: Int. J. Account. Inf. Syst. 12(1), pp. 40-56, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
29 | Michael J. Davern, Arnold Kamis |
Knowledge matters: Restrictiveness and performance with decision support. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Decis. Support Syst. ![In: Decis. Support Syst. 49(4), pp. 343-353, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
29 | Weiquan Wang, Izak Benbasat |
Interactive Decision Aids for Consumer Decision Making in E-Commerce: The Influence of Perceived Strategy Restrictiveness. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MIS Q. ![In: MIS Q. 33(2), pp. 203-320, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP BibTeX RDF |
|
29 | Poh-Sun Seow |
The effects of decision aid structural restrictiveness on decision-making outcomes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2008 |
RDF |
|
29 | Mohamed Khalifa 0001, Vanessa Liu |
Knowledge Acquisition Through Computer-Mediated Discussions: Potential of Semantic Network Representations and Effect of Conceptual Facilitation Restrictiveness. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICIS ![In: Proceedings of the International Conference on Information Systems, ICIS 2005, December 11-14, 2005, Las Vegas, NV, USA, 2005, Association for Information Systems. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
29 | Diane Lending, Norman L. Chervany |
Case Tool Use and Job Design: A Restrictiveness/Flexibility Explanation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Comput. Inf. Syst. ![In: J. Comput. Inf. Syst. 43(1), pp. 81-90, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP BibTeX RDF |
|
29 | Mohamed Khalifa 0001, Ron Chi-Wai Kwok, Robert M. Davison |
GSS Facilitation Restrictiveness in Collaborative Learning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HICSS ![In: 34th Annual Hawaii International Conference on System Sciences (HICSS-34), January 3-6, 2001, Maui, Hawaii, USA, 2001, IEEE Computer Society, 0-7695-0981-9. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
29 | Bradley C. Wheeler, Joseph S. Valacich |
Facilitation, GSS, and Training as Sources of Process Restrictiveness and Guidance for Structured Group Decision Making: An Empirical Assessment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Syst. Res. ![In: Inf. Syst. Res. 7(4), pp. 429-450, 1996. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
29 | Bradley C. Wheeler, Brian E. Mennecke |
The Effects of Restrictiveness and Preference for Procedural Order on the Appropriation of Group Decision Heuristics in a GSS Environment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICIS ![In: Proceedings of the Thirteenth International Conference on Information Systems, Dallas, Texas, USA, December 13-16, 1992, pp. 274-275, 1992, Association for Information Systems. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP BibTeX RDF |
|
29 | Pai-Cheng Chu, Joyce J. Elam |
Induced system restrictiveness: an experimental demonstration. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Syst. Man Cybern. ![In: IEEE Trans. Syst. Man Cybern. 20(1), pp. 195-201, 1990. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
29 | Gerardine DeSanctis, Marianne J. D'Onofrio, V. Sambamurthy, Marshall Scott Poole |
Comprehensiveness and restrictiveness in group decision heuristics: effects of computer support on consensus decision making. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICIS ![In: Proceedings of the 10th International Conference on Information Systems, ICIS 1989, Boston, Massachusetts, USA, 1989, pp. 131-140, 1989, Association for Information Systems. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
|
29 | Mark S. Silver |
User Perceptions of Decision Support System Restrictiveness: An Experiment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Manag. Inf. Syst. ![In: J. Manag. Inf. Syst. 5(1), pp. 51-65, 1988. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
|
29 | Mark S. Silver |
Panel 1 Information System Restrictiveness. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICIS ![In: Proceedings of the 9th International Conference on Information Systems, ICIS 1988, Minneapolis, Minnesota, USA, 1988, pp. 22, 1988, Association for Information Systems. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP BibTeX RDF |
|
29 | A. Thesen |
Measures of the restrictiveness of project networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Networks ![In: Networks 7(3), pp. 193-208, 1977. The full citation details ...](Pics/full.jpeg) |
1977 |
DBLP DOI BibTeX RDF |
|
20 | Lukasz Kaiser |
Synthesis for Structure Rewriting Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MFCS ![In: Mathematical Foundations of Computer Science 2009, 34th International Symposium, MFCS 2009, Novy Smokovec, High Tatras, Slovakia, August 24-28, 2009. Proceedings, pp. 415-426, 2009, Springer, 978-3-642-03815-0. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
20 | Joel M. Esposito, Moonzoo Kim |
Using Formal Modeling With an Automated Analysis Tool to Design and Parametrically Analyze a Multirobot Coordination Protocol: A Case Study. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Syst. Man Cybern. Part A ![In: IEEE Trans. Syst. Man Cybern. Part A 37(3), pp. 285-297, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
20 | Samir Datta, Raghav Kulkarni, Nutan Limaye, Meena Mahajan |
Planarity, Determinants, Permanents, and (Unique) Matchings. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSR ![In: Computer Science - Theory and Applications, Second International Symposium on Computer Science in Russia, CSR 2007, Ekaterinburg, Russia, September 3-7, 2007, Proceedings, pp. 115-126, 2007, Springer, 978-3-540-74509-9. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
20 | Ahmad-Reza Sadeghi, Marko Wolf, Christian Stüble, N. Asokan, Jan-Erik Ekberg |
Enabling Fairer Digital Rights Management with Trusted Computing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISC ![In: Information Security, 10th International Conference, ISC 2007, Valparaíso, Chile, October 9-12, 2007, Proceedings, pp. 53-70, 2007, Springer, 978-3-540-75495-4. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
stateful licenses, Trusted Computing, security architectures |
20 | Alejandro Russo, Andrei Sabelfeld |
Securing Interaction between Threads and the Scheduler. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSFW ![In: 19th IEEE Computer Security Foundations Workshop, (CSFW-19 2006), 5-7 July 2006, Venice, Italy, pp. 177-189, 2006, IEEE Computer Society, 0-7695-2615-2. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
20 | Gunnar Braun, Achim Nohl, Andreas Hoffmann 0002, Oliver Schliebusch, Rainer Leupers, Heinrich Meyr |
A universal technique for fast and flexible instruction-set architecture simulation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. ![In: IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 23(12), pp. 1625-1639, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
20 | Steve Zdancewic, Andrew C. Myers |
Observational Determinism for Concurrent Program Security. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSFW ![In: 16th IEEE Computer Security Foundations Workshop (CSFW-16 2003), 30 June - 2 July 2003, Pacific Grove, CA, USA, pp. 29-, 2003, IEEE Computer Society, 0-7695-1927-X. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
20 | Achim Nohl, Gunnar Braun, Oliver Schliebusch, Rainer Leupers, Heinrich Meyr, Andreas Hoffmann 0002 |
A universal technique for fast and flexible instruction-set architecture simulation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DAC ![In: Proceedings of the 39th Design Automation Conference, DAC 2002, New Orleans, LA, USA, June 10-14, 2002, pp. 22-27, 2002, ACM, 1-58113-461-4. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
20 | Andrew Brooks, Louise Scott |
Constraints in CASE Tools: Results from Curiosity Driven Research. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Australian Software Engineering Conference ![In: 13th Australian Software Engineering Conference (ASWEC 2001), 26-28 August 2001, Canberra, Australia, pp. 285-296, 2001, IEEE Computer Society, 0-7695-1254-2. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
20 | Guillem Godoy, Robert Nieuwenhuis |
Paramodulation with Built-in Abelian Groups. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LICS ![In: 15th Annual IEEE Symposium on Logic in Computer Science, Santa Barbara, California, USA, June 26-29, 2000, pp. 413-424, 2000, IEEE Computer Society, 0-7695-0725-5. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
term rewriting, automated deduction |
20 | Wolfgang Lehner |
Modelling Large Scale OLAP Scenarios. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EDBT ![In: Advances in Database Technology - EDBT'98, 6th International Conference on Extending Database Technology, Valencia, Spain, March 23-27, 1998, Proceedings, pp. 153-167, 1998, Springer, 3-540-64264-1. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
20 | Peter van Beek, Rina Dechter |
Constraint tightness and looseness versus local and global consistency. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. ACM ![In: J. ACM 44(4), pp. 549-566, 1997. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
constraint satisfaction problems, relations, local consistency, constraint networks, constraint-based reasoning |
20 | Miles Osborne, Craig K. MacNish |
Processing Natural Language Software Requirement Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICRE ![In: Proceedings of the 2nd International Conference on Requirements Engineering, ICRE '96, Colorado Springs, Colorado, USA, April 15-18, 1996, pp. 229-237, 1996, IEEE Computer Society, 0-8186-7252-8. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
Ambiguity Detection, Natural Language Processing, Tool Support |
20 | Bernhard Möller |
An Algebraic Semantics for Busy (Data-Driven) and Lazy (Demand-Driven) Evaluation and its Application to a Functional Language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICALP ![In: Automata, Languages and Programming, 10th Colloquium, Barcelona, Spain, July 18-22, 1983, Proceedings, pp. 513-526, 1983, Springer, 3-540-12317-2. The full citation details ...](Pics/full.jpeg) |
1983 |
DBLP DOI BibTeX RDF |
|