Search results for "institution"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
82	Joseph A. Goguen, Grigore Rosu	Institution Morphisms.	Formal Aspects Comput.	2002	DBLP DOI BibTeX RDF	Abstract model theory, Kan extension, Specification, Logic, Category theory, Institution
67	Henrique Lopes Cardoso, Eugénio C. Oliveira	Electronic institutions for B2B: dynamic normative environments.	Artif. Intell. Law	2008	DBLP DOI BibTeX RDF	Multi-agent system, Contract, Norm, Electronic institution
59	Matteo Baldoni, Guido Boella, Leendert W. N. van der Torre	powerJava: ontologically founded roles in object oriented programming languages.	SAC	2006	DBLP DOI BibTeX RDF
59	José Félix Costa, Hugo Lourenço	Canonical Institutions of Behaviour.	WADT	2001	DBLP DOI BibTeX RDF
58	Hubert Baumeister	Relations as Abstract Datatypes: An Institution to Specify Relations between Algebras.	TAPSOFT	1995	DBLP DOI BibTeX RDF
57	Marc Aiguier, Fabrice Barbier	An Institution-independent Proof of the Beth Definability Theorem.	Stud Logica	2007	DBLP DOI BibTeX RDF	Beth definability, morphisms and comorphisms, inclusive category, institution theory, Craig interpolation
51	Nicoletta Fornara, Francesco Viganò, Marco Colombetti	Agent Communication and Institutional Reality.	AC	2004	DBLP DOI BibTeX RDF
51	Razvan Diaconescu	Grothendieck Institutions.	Appl. Categorical Struct.	2002	DBLP DOI BibTeX RDF	indexed categories, Grothendieck construction, algebraic specification, institutions, fibrations
49	Russell E. McMahon	Researching your institution's computer past.	SIGITE Conference	2007	DBLP DOI BibTeX RDF	history of computers, history of computing, oral history
49	Carlos López Pombo, Marcelo F. Frias	Fork Algebras as a Sufficiently Rich Universal Institution.	AMAST	2006	DBLP DOI BibTeX RDF
49	Razvan Diaconescu	Jewels of Institution-Independent Model Theory.	Essays Dedicated to Joseph A. Goguen	2006	DBLP DOI BibTeX RDF
49	Razvan Diaconescu	An Institution-independent Proof of Craig Interpolation Theorem.	Stud Logica	2004	DBLP DOI BibTeX RDF	axiomatizability, interpolation, algebraic specification, institutions
49	Berna Erol, Ying Li	An overview of technologies for e-meeting and e-lecture.	ICME	2005	DBLP DOI BibTeX RDF	research areas, e-meeting, business institution, academic institution, self-paced education, technological achievements, content retrieval, e-lecture, content access
48	Ji Gao, Hexin Lv	IGTASC: a model for institution-governed trusted and autonomic service cooperation.	AAMAS (2)	2009	DBLP BibTeX RDF	institution-governed, policy-driven, service cooperation, trusted, virtual organization, autonomic
48	Daniel Gâinâ, Andrei Popescu 0001	An Institution-Independent Proof of the Robinson Consistency Theorem.	Stud Logica	2007	DBLP DOI BibTeX RDF	Robinson consistency, elementary diagram, many-sorted first-order logic, institution, Craig interpolation
48	Dominique Brodbeck, Matthew Chalmers, Aran Lunzer, Pamela Cotture	Domesticating Bead: adapting an information visualization system to a financial institution.	INFOVIS	1997	DBLP DOI BibTeX RDF	Bead visualization system, information visualization system, financial institution, high-dimensional data layout, low-dimensional space, 2D visualization tool, UBS, 3D web browsers, data analysis, data visualisation, 3D visualizations, spreadsheets, data types, similarity metrics
42	Michal Misiak	Behavioural Semantics of Algebraic Specifications in Arbitrary Logical Systems.	WADT	2004	DBLP DOI BibTeX RDF
42	Morten P. Lindegaard, Anne E. Haxthausen	Proof Support for RAISE by a Reuse Approach Based on Institutions.	AMAST	2004	DBLP DOI BibTeX RDF	proof support, Institutions, algebraic semantics, HOL, RSL
41	Ioan Alfred Letia, Wamberto Weber Vasconcelos	Norms and Their Role in a Model of Electronic Institution.	RASTA	2002	DBLP DOI BibTeX RDF
41	Till Mossakowski, Bartek Klin	Institution Independent Static Analysis for CASL.	WADT	2001	DBLP DOI BibTeX RDF
34	María Victoria Cengarle, Alexander Knapp, Andrzej Tarlecki, Martin Wirsing	A Heterogeneous Approach to UML Semantics.	Concurrency, Graphs and Models	2008	DBLP DOI BibTeX RDF
34	Dorian Gaertner, Juan A. Rodríguez-Aguilar, Francesca Toni	Agreeing on Institutional Goals for Multi-agent Societies.	COIN@AAMAS&AAAI	2008	DBLP DOI BibTeX RDF
34	Frank Dignum	Norms and Electronic Institutions.	DEON	2006	DBLP DOI BibTeX RDF
34	Francesco Viganò, Nicoletta Fornara, Marco Colombetti	An Event Driven Approach to Norms in Artificial Institutions.	AAMAS Workshops	2005	DBLP DOI BibTeX RDF
34	Lutz Schröder, Till Mossakowski, Andrzej Tarlecki	Amalgamation in CASL via Enriched Signatures.	ICALP	2001	DBLP DOI BibTeX RDF
34	Joseph A. Goguen, Rod M. Burstall	Institutions: Abstract Model Theory for Specification and Programming.	J. ACM	1992	DBLP DOI BibTeX RDF
33	Norizal Abd Latif, Mohd Fadzil Hassan 0001, Mohd Hilmi Hasan	Interaction protocol for agent-based e-learning system.	iiWAS	2009	DBLP DOI BibTeX RDF	interaction protocol, electronic institution, e-learning system, agent-based
33	Dorel Lucanu, Yuan-Fang Li, Jin Song Dong	Soundness proof of Z semantics of OWL using institutions.	WWW (Special interest tracks and posters)	2005	DBLP DOI BibTeX RDF	comorphism of institutions, OWL, Z, institution
33	Sudhir K. Jhajharia, Hua Swee Wang	Training diploma students on ATE-related module.	Asian Test Symposium	1995	DBLP DOI BibTeX RDF	electronic equipment testing, tertiary institution, ATE-related module, diploma students, final year students, Microelectronics option, Electronics and Communication Engineering Department, Singapore Polytechnic, Singapore Polytechnic Education Model, automated test equipment, Advanced Diploma, practical training, laboratory session, training, integrated circuit testing, assessment, teaching, teaching, automatic testing, automatic test equipment, test patterns, printed circuit boards, educational courses, printed circuit testing, industry-standard, electronic engineering education
32	Michael White 0002	Permeating innovative technologies throughout the institution.	SIGUCCS	2008	DBLP DOI BibTeX RDF	models of technology use, diffusion of innovations, new technologies
32	Raudzatul Fathiyah Mohd Said, Shuzlina Abdul Rahman, Sofianita Mutalib, Marina Yusoff, Azlinah Mohamed	User Technology Readiness Measurement in Fingerprint Adoption at Higher Education Institution.	ICCSA (2)	2008	DBLP DOI BibTeX RDF	Fingerprint Technology, Technology Readiness Index Model, User Readiness, Biometric
32	Stephen P. Miller, Robert S. Detrick, John J. Helly 0001	Multi-institution testbed for scalable digital archiving.	DG.O	2006	DBLP DOI BibTeX RDF
32	Gérard Lelièvre, Jacques Souillot	Implementing KM Solutions in a Public Research Institution: The CNRS Case.	PAKM	2002	DBLP DOI BibTeX RDF
32	Andrew D. Marshall	A Financial Institution's Legacy Mainframe Access Control System in Light of the Proposed NIST RBAC Standard.	ACSAC	2002	DBLP DOI BibTeX RDF
31	Xiaomei Bai, Fuli Zhang, Jin Ni, Lei Shi, Ivan Lee	Measure the Impact of Institution and Paper Via Institution-Citation Network.	IEEE Access	2020	DBLP DOI BibTeX RDF
31	Xiaomei Bai, Fuli Zhang, Jin Ni, Lei Shi, Ivan Lee	Measure the Impact of Institution and Paper via Institution-citation Network.	CoRR	2020	DBLP BibTeX RDF
31	Sujit Bhattacharya 0001, Arshia Kaul, Shilpa, Praveen Sharma	Role of bilateral institution in influencing collaboration: case study of CEFIPRA - a bilateral S&T institution established by India and France.	Scientometrics	2015	DBLP DOI BibTeX RDF
31	Samina Raza Abidi, Syed Sibte Raza Abidi	An ontological modeling approach to align institution-specific Clinical Pathways: Towards inter-institution care standardization.	CBMS	2012	DBLP DOI BibTeX RDF
31	John Tranier	Vers une vision intégrale des systèmes multi-agents : Contribution à l'intégration des concepts d'agent, d'environnement, d'organisation et d'institution. (Towards an integral vision of multiagent Systems: Contribution to the integration of the concepts of Agent, Environment, Organization and Institution).		2007	RDF
25	Robert Law	Using student blogs for documentation in software development projects.	ITiCSE	2011	DBLP DOI BibTeX RDF
25	Javier Vázquez-Salceda, Huib Aldewereld, Davide Grossi, Frank Dignum	From human regulations to regulated software agents' behavior.	Artif. Intell. Law	2008	DBLP DOI BibTeX RDF	Norm enforcement, Multi agent systems, Norms, Electronic institutions
25	Ronald N. Kostoff, Raymond G. Koytcheff, Clifford G. Y. Lau	Global nanotechnology research metrics.	Scientometrics	2007	DBLP DOI BibTeX RDF
25	Hilke Stuempel, Gauri Salokhe, Anne Aubert, Johannes Keizer, Andrew Nadeau, Stephen Katz, Stephen Rudgard	Metadata Application Profile for Agricultural Learning Resources.	MTSR	2007	DBLP DOI BibTeX RDF
25	Vadim Astakhov, Amarnath Gupta, Jeffrey S. Grethe, Edward Ross, David Little, Aylin Yilmaz, Xufei Qian, Simone Santini, Maryann E. Martone, Mark H. Ellisman	Semantically Based Data Integration Environment for Biomedical Research.	CBMS	2006	DBLP DOI BibTeX RDF
25	Stephen P. Miller, Robert S. Detrick, John J. Helly 0001	DIGARCH project highlights multi-institutional testbed for scalable digital archiving.	DG.O	2006	DBLP DOI BibTeX RDF
25	Paul Jen-Hwa Hu, Dai Cui, Alan Charles Sherwood	Examining Cross-Agency Collaborations in E-Government Initiatives.	HICSS	2006	DBLP DOI BibTeX RDF
25	Vadim Astakhov, Amarnath Gupta, Simone Santini, Jeffrey S. Grethe	Data Integration in the Biomedical Informatics Research Network (BIRN).	DILS	2005	DBLP DOI BibTeX RDF
25	Lutz Schröder, Till Mossakowski, Christoph Lüth	Type Class Polymorphism in an Institutional Framework.	WADT	2004	DBLP DOI BibTeX RDF
25	Stefan Strecker, Stefan Seifert	Electronic Sourcing with Multi-Attribute Auctions.	HICSS	2004	DBLP DOI BibTeX RDF
25	Sergio Scandizzo	Connectivity and the measurement of operational risk: an input-output approach.	Soft Comput.	2003	DBLP DOI BibTeX RDF	Input-output models, Operational risk measurement, Complexity, Connectivity
25	David Aspinall 0001	Type Checking Parametrised Programs and Specifications in ASL+FPC.	WADT	2002	DBLP DOI BibTeX RDF
25	Yngve Lamo, Michal Walicki	Combining Specification Formalisms in the ?General Logic? of Multialgebras.	WADT	2002	DBLP DOI BibTeX RDF
25	Oliver Vickers, Julian A. Padget	Skeletal Jade Components for the Construction of Institutions.	AMEC	2002	DBLP DOI BibTeX RDF
25	Wamberto Weber Vasconcelos, Jordi Sabater, Carles Sierra, Joaquim Querol	Skeleton-based agent development for electronic institutions.	AAMAS	2002	DBLP DOI BibTeX RDF
25	Amílcar Sernadas, Cristina Sernadas, Carlos Caleiro	Denotational Semantics of Object Specification.	Acta Informatica	1998	DBLP DOI BibTeX RDF
25	Tomasz Borzyszkowski	Moving Specification Structures Between Logical Systems.	WADT	1998	DBLP DOI BibTeX RDF
25	Alfio Martini, Uwe Wolter	A Single Perspective on Arrows between Institutions.	AMAST	1998	DBLP DOI BibTeX RDF
25	Rolf Hennicker, Michel Bidoit	Observational Logic.	AMAST	1998	DBLP DOI BibTeX RDF
25	Fernando Orejas, Elvira Pino, Hartmut Ehrig	Algebraic Methods in the Compositional Analysis of Logic Programs.	MFCS	1994	DBLP DOI BibTeX RDF
24	Meng Zhang, Xuejun Li	A Design of the Mechanism for Lower Limbs Passive Rehabilitation and Kinematics Analysis.	FCST	2010	DBLP DOI BibTeX RDF	Rehabilitation Institution, Freedom, Lower Limb, Simulation
24	Markus Schedl, Klaus Seyerlehner, Dominik Schnitzer, Gerhard Widmer, Cornelia Schiketanz	Three web-based heuristics to determine a person's or institution's country of origin.	SIGIR	2010	DBLP DOI BibTeX RDF	country of origin detection, music information research, evaluation, information extraction, term weighting
24	Patrick Senti	Model-Centric Approach to Software Design and Stakeholder-Specific Architecture Views in Scope of a Financial Institution.	SEAFOOD	2009	DBLP DOI BibTeX RDF	UML in Software Engineering, Stakeholder Views, Architecture Documentation
24	Marco Masseroli, Mario Marchente	X-PAT: A Multiplatform Patient Referral Data Management System for Small Healthcare Institution Requirements.	IEEE Trans. Inf. Technol. Biomed.	2008	DBLP DOI BibTeX RDF
24	Kanishka Bedi	Experiences of Hybrid Corporate Training Programmes at an Online Academic Institution.	ICHL	2008	DBLP DOI BibTeX RDF	Training, Hybrid, Blended, Corporate
24	Simon Ball, Alistair McNaught	Round Peg, Square Hole: Supporting Via the Web Staff and Learners Who Do Not Fit into Traditional Learner-Teacher-Institution Scenarios.	ICCHP	2008	DBLP DOI BibTeX RDF	e-learning, accessibility, online learning, support, inclusion
24	Till Mossakowski, Markus Roggenbach	Structured CSP - A Process Algebra as an Institution.	WADT	2006	DBLP DOI BibTeX RDF
24	Muhammad Farhat Kaleem	Initiating Technology-Enhanced Learning at a Public-Sector Institution in a Developing Country.	EC-TEL	2006	DBLP DOI BibTeX RDF
24	Javier Vázquez-Salceda, Ulises Cortés, Julian A. Padget	Integrating the Organ and Tissue Allocation Processes through an Agent-Mediated Electronic Institution.	CCIA	2002	DBLP DOI BibTeX RDF	Transplants, Multi-agent systems, Electronic Institutions
24	Elmé Smith, Jan H. P. Eloff	Cognitive Fuzzy Modeling for Enhanced Risk Assessment in a Health Care Institution.	IEEE Intell. Syst.	2000	DBLP DOI BibTeX RDF	fuzzy rule-based approach, cognitive fuzzy tools, Risk assessment, fuzzy cognitive map
24	Till Mossakowski	Translationg OBJ3 into CASL: The Institution Level.	WADT	1998	DBLP DOI BibTeX RDF
24	Hubert Baumeister	Unifying Initial and Loose Semantics of Parameterized Specifications in an Arbitrary Institution.	TAPSOFT, Vol.1	1991	DBLP DOI BibTeX RDF
17	Kenneth Janz, Ken Graetz	Status of a digital life and learning program.	SIGUCCS	2009	DBLP DOI BibTeX RDF	anytime, anywhere learning, digital life and learning, laptop program, management of laptops, one-to-one computing, student computer ownership, training, faculty development
17	Annie T. Fang, Rahan Khozein, Sergio M. Mendez-Baiges, Eunice Y. Shin	eXtend: reducing e-waste through redistribution of local it resources.	CHI Extended Abstracts	2009	DBLP DOI BibTeX RDF	e-waste, equipment lifespan, it equipment, second-hand, used electronics, design, local, reuse, electronics, recycle
17	Vineela Muppavarapu, Soon Myoung Chung	Fine-Grain Access Control Using Shibboleth for the Storage Resource Broker.	ISA	2009	DBLP DOI BibTeX RDF	Storage Resource Broker (SRB), Data Grid, virtual organization (VO), Shibboleth, fine-grain access control
17	Cláudia Josimar Abrão de Araújo, Flávio S. Corrêa da Silva	Governmental virtual institutions.	ICEGOV	2009	DBLP DOI BibTeX RDF	interoperability, virtual worlds, intelligent user interfaces, electronic government, information representation
17	Till Mossakowski, Andrzej Tarlecki	Heterogeneous Logical Environments for Distributed Specifications.	WADT	2008	DBLP DOI BibTeX RDF
17	Hannes Kulovits, Christoph Becker 0001, Michael Kraxner, Florian Motlik, Kevin Stadler, Andreas Rauber	Plato: A Preservation Planning Tool Integrating Preservation Action Services.	ECDL	2008	DBLP DOI BibTeX RDF
17	Hannes Kulovits, Christoph Becker 0001, Michael Kraxner, Florian Motlik, Kevin Stadler, Andreas Rauber	Plato: a preservation planning tool.	JCDL	2008	DBLP DOI BibTeX RDF	service oriented architecture, decision support, digital preservation, preservation planning
17	Marcelle Mentor, Eric Strome, Stephen Asunka, Giovannina Agnitti, Gary Natriello	Early returns on an institutional repository: an exploration of the validity and functionality of pocketknowledge.	JCDL	2008	DBLP DOI BibTeX RDF	social archive, digital archive, institutional repository
17	Brenda L. Berkelaar, Lorraine G. Kisselburgh, Patrice M. Buzzanell	Locating and disseminating effective messages: enhancing gender representation in computing majors and careers.	CPR	2008	DBLP DOI BibTeX RDF	computing majors, gender representation, memorable messages, technology careers, technology workforce, communication, retention, STEM, recruitment
17	Andreas Herzig, Tiago de Lima, Emiliano Lorini	On the Dynamics of Institutional Agreements.	KRAMAS	2008	DBLP DOI BibTeX RDF
17	Jordi Campos Miralles, Maite López-Sánchez, Juan A. Rodríguez-Aguilar, Marc Esteva	Formalising Situatedness and Adaptation in Electronic Institutions.	COIN@AAMAS&AAAI	2008	DBLP DOI BibTeX RDF
17	Ronald N. Kostoff	The difference between highly and poorly cited medical articles in the journal Lancet.	Scientometrics	2007	DBLP DOI BibTeX RDF
17	Guido Boella, Leendert W. N. van der Torre	The ontological properties of social roles in multi-agent systems: definitional dependence, powers and roles playing roles.	Artif. Intell. Law	2007	DBLP DOI BibTeX RDF	input/output logics, ontologies, multi-agent systems, social roles
17	Frank Guerin, Wamberto Weber Vasconcelos	Component-Based Standardisation of Agent Communication.	DALT	2007	DBLP DOI BibTeX RDF
17	María de Jesús, Juan C. Karman	A course's comparative analysis: traditional classroom and distance learning.	SIGUCCS	2007	DBLP DOI BibTeX RDF	approval, on line offering, retention
17	Jose Lorenzo Silva-Lugo	Measuring the effectiveness of circa operations training program.	SIGUCCS	2007	DBLP DOI BibTeX RDF	participatory methods, training program, evaluations
17	Cindy Dooling, Richard Bertrand	IT professional development and helpdesk support on a shoestring budget or renewable resources.	SIGUCCS	2007	DBLP DOI BibTeX RDF	academic support, administrative support, communication, training, computers, staffing, principles
17	Subodh Kesharwani, Ramendu Roy, Ashish Agarwal	Teaming ERP System Efficiently into an Academic State of Affairs.	CONFENIS (2)	2007	DBLP DOI BibTeX RDF	Academic Integration, State-of-Affairs, SWOT Analysis, University system, Material requirement planning (MRP) manufacturing resource planning (MRP II), EDUSAT, Information Technology, Legacy system, Enterprise, ERP System, Integrated system
17	V. J. E. Miguel, S. M. M. Guerreiro, Rogério P. C. do Nascimento	Web tool to support online inquiries: adapting Moodle to meet some of tutors and teachers needs.	EATIS	2007	DBLP DOI BibTeX RDF	online inquiries, e-learning, learning management systems, PHP, Moodle
17	Frank Dignum, Virginia Dignum, John Thangarajah, Lin Padgham, Michael Winikoff	Open Agent Systems???	AOSE	2007	DBLP DOI BibTeX RDF
17	Frank Guerin, Wamberto Weber Vasconcelos	A component-based approach to standardising agent communication.	AAMAS	2007	DBLP DOI BibTeX RDF	norms, institutions, artificial social systems, agent communication languages and protocols, conventions
17	Jean Sallantin, Christopher Dartnell, Mohammad Afshar	A Pragmatic Logic of Scientific Discovery.	Discovery Science	2006	DBLP DOI BibTeX RDF
17	Dorel Lucanu, Yuan-Fang Li, Jin Song Dong	Semantic Web Languages - Towards an Institutional Perspective.	Essays Dedicated to Joseph A. Goguen	2006	DBLP DOI BibTeX RDF
17	Michel Bidoit, Rolf Hennicker	Proving Behavioral Refinements of COL-specifications.	Essays Dedicated to Joseph A. Goguen	2006	DBLP DOI BibTeX RDF
17	Steven J. Timmins	Student computing purchase programs.	SIGUCCS	2006	DBLP DOI BibTeX RDF	back to school, mandate, student computing, purchase
17	Seok Lee, Tai-Myung Chung, Myeonggil Choi	An Empirical Study of Quality and Cost Based Security Engineering.	ISPEC	2006	DBLP DOI BibTeX RDF
17	George Voutsadakis	Categorical Abstract Algebraic Logic: (J, N)-Algebraic Systems.	Appl. Categorical Struct.	2005	DBLP DOI BibTeX RDF	equivalent deductive systems, algebraizable deductive systems, equivalent institutions, algebraizable institutions, Leibniz congruence, Tarski congruence, algebraizable sentential logics, algebras, institutions, adjunctions, abstract algebraic logic, deductive systems
17	Mauro Brunato, Danilo Severina	WilmaGate: a new open access gateway for hotspot management.	WMASH	2005	DBLP DOI BibTeX RDF	access gateways, open access networks, wireless networks, authentication, authorization
17	Allison Elliott Tew, Charles Fowler, Mark Guzdial	Tracking an innovation in introductory CS education from a research university to a two-year college.	SIGCSE	2005	DBLP DOI BibTeX RDF	adoption/adaptation, multimedia, programming, CS1