|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 1081 occurrences of 767 keywords
|
|
|
Results
Found 1450 publication records. Showing 1450 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
82 | Joseph A. Goguen, Grigore Rosu |
Institution Morphisms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Aspects Comput. ![In: Formal Aspects Comput. 13(3-5), pp. 274-307, 2002. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Artif. Intell. Law ![In: Artif. Intell. Law 16(1), pp. 107-128, 2008. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAC ![In: Proceedings of the 2006 ACM Symposium on Applied Computing (SAC), Dijon, France, April 23-27, 2006, pp. 1414-1418, 2006, ACM, 1-59593-108-2. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
59 | José Félix Costa, Hugo Lourenço |
Canonical Institutions of Behaviour. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WADT ![In: Recent Trends in Algebraic Development Techniques, 15th International Workshop, WADT 2001, Joint with the CoFI WG Meeting, Genova, Italy, April 1-3, 2001, Selected Papers, pp. 71-84, 2001, Springer, 3-540-43159-4. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
58 | Hubert Baumeister |
Relations as Abstract Datatypes: An Institution to Specify Relations between Algebras. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TAPSOFT ![In: TAPSOFT'95: Theory and Practice of Software Development, 6th International Joint Conference CAAP/FASE, Aarhus, Denmark, May 22-26, 1995, Proceedings, pp. 756-771, 1995, Springer, 3-540-59293-8. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
57 | Marc Aiguier, Fabrice Barbier |
An Institution-independent Proof of the Beth Definability Theorem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Stud Logica ![In: Stud Logica 85(3), pp. 333-359, 2007. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AC ![In: Agent Communication, International Workshop on Agent Communication, AC 2004, New York, NY, USA, July 19, 2004, Revised Selected and Invited Papers, pp. 1-17, 2004, Springer, 3-540-25015-8. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
51 | Razvan Diaconescu |
Grothendieck Institutions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Categorical Struct. ![In: Appl. Categorical Struct. 10(4), pp. 383-402, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
indexed categories, Grothendieck construction, algebraic specification, institutions, fibrations |
49 | Russell E. McMahon |
Researching your institution's computer past. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGITE Conference ![In: Proceedings of the 8th Conference on Information Technology Education, SIGITE 2007, Destin, Florida, USA, October 18-20, 2007, pp. 191-194, 2007, ACM, 978-1-59593-920-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AMAST ![In: Algebraic Methodology and Software Technology, 11th International Conference, AMAST 2006, Kuressaare, Estonia, July 5-8, 2006, Proceedings, pp. 235-247, 2006, Springer, 3-540-35633-9. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
49 | Razvan Diaconescu |
Jewels of Institution-Independent Model Theory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Essays Dedicated to Joseph A. Goguen ![In: Algebra, Meaning, and Computation, Essays Dedicated to Joseph A. Goguen on the Occasion of His 65th Birthday, pp. 65-98, 2006, Springer, 3-540-35462-X. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
49 | Razvan Diaconescu |
An Institution-independent Proof of Craig Interpolation Theorem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Stud Logica ![In: Stud Logica 77(1), pp. 59-79, 2004. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICME ![In: Proceedings of the 2005 IEEE International Conference on Multimedia and Expo, ICME 2005, July 6-9, 2005, Amsterdam, The Netherlands, pp. 1000-1005, 2005, IEEE Computer Society, 0-7803-9331-7. The full citation details ...](Pics/full.jpeg) |
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. ![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. 1331-1332, 2009, IFAAMAS, 978-0-9817381-7-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Stud Logica ![In: Stud Logica 85(1), pp. 41-73, 2007. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
INFOVIS ![In: 1997 IEEE Symposium on Information Visualization (InfoVis '97), October 18-25, 1997, Phoenix, AZ, USA, pp. 73-80, 1997, IEEE Computer Society, 0-8186-8189-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WADT ![In: Recent Trends in Algebraic Development Techniques, 17th International Workshop, WADT 2004, Barcelona, Spain, March 27-29, 2004, Revised Selected Papers, pp. 144-161, 2004, Springer, 3-540-25327-0. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
42 | Morten P. Lindegaard, Anne E. Haxthausen |
Proof Support for RAISE by a Reuse Approach Based on Institutions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AMAST ![In: Algebraic Methodology and Software Technology, 10th International Conference, AMAST 2004, Stirling, Scotland, UK, July 12-16, 2004, Proceedings, pp. 319-333, 2004, Springer, 3-540-22381-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RASTA ![In: Regulated Agent-Based Social Systems, First International Workshop, RASTA 2002, Bologna, Italy, July 16, 2002, Revised Selected and Invited Papers, pp. 240-258, 2002, Springer, 3-540-20923-9. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
41 | Till Mossakowski, Bartek Klin |
Institution Independent Static Analysis for CASL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WADT ![In: Recent Trends in Algebraic Development Techniques, 15th International Workshop, WADT 2001, Joint with the CoFI WG Meeting, Genova, Italy, April 1-3, 2001, Selected Papers, pp. 221-237, 2001, Springer, 3-540-43159-4. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
34 | María Victoria Cengarle, Alexander Knapp, Andrzej Tarlecki, Martin Wirsing |
A Heterogeneous Approach to UML Semantics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Concurrency, Graphs and Models ![In: Concurrency, Graphs and Models, Essays Dedicated to Ugo Montanari on the Occasion of His 65th Birthday, pp. 383-402, 2008, Springer, 978-3-540-68676-7. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
34 | Dorian Gaertner, Juan A. Rodríguez-Aguilar, Francesca Toni |
Agreeing on Institutional Goals for Multi-agent Societies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COIN@AAMAS&AAAI ![In: Coordination, Organizations, Institutions and Norms in Agent Systems IV, COIN 2008 International Workshops, COIN@AAMAS 2008, Estoril, Portugal, May 12, 2008. COIN@AAAI 2008, Chicago, USA, July 14, 2008. Revised Selected Papers, pp. 1-16, 2008, Springer, 978-3-642-00442-1. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
34 | Frank Dignum |
Norms and Electronic Institutions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DEON ![In: Deontic Logic and Artificial Normative Systems, 8th International Workshop on Deontic Logic in Computer Science, DEON 2006, Utrecht, The Netherlands, July 12-14, 2006, Proceedings, pp. 2-5, 2006, Springer, 3-540-35842-0. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
34 | Francesco Viganò, Nicoletta Fornara, Marco Colombetti |
An Event Driven Approach to Norms in Artificial Institutions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAMAS Workshops ![In: Coordination, Organizations, Institutions, and Norms in Multi-Agent Systems, AAMAS 2005 International Workshops on Agents, Norms and Institutions for Regulated Multi-Agent Systems, ANIREM 2005, and Organizations in Multi-Agent Systems, OOOP 2005, Utrecht, The Netherlands, July 25-26, 2005, Revised Selected Papers, pp. 142-154, 2005, Springer, 3-540-35173-6. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
34 | Lutz Schröder, Till Mossakowski, Andrzej Tarlecki |
Amalgamation in CASL via Enriched Signatures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICALP ![In: Automata, Languages and Programming, 28th International Colloquium, ICALP 2001, Crete, Greece, July 8-12, 2001, Proceedings, pp. 993-1004, 2001, Springer, 3-540-42287-0. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
34 | Joseph A. Goguen, Rod M. Burstall |
Institutions: Abstract Model Theory for Specification and Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. ACM ![In: J. ACM 39(1), pp. 95-146, 1992. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
33 | Norizal Abd Latif, Mohd Fadzil Hassan 0001, Mohd Hilmi Hasan |
Interaction protocol for agent-based e-learning system. ![Search on Bibsonomy](Pics/bibsonomy.png) |
iiWAS ![In: iiWAS'2009 - The Eleventh International Conference on Information Integration and Web-based Applications and Services, 14-16 December 2009, Kuala Lumpur, Malaysia, pp. 414-419, 2009, ACM, 978-1-60558-660-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WWW (Special interest tracks and posters) ![In: Proceedings of the 14th international conference on World Wide Web, WWW 2005, Chiba, Japan, May 10-14, 2005 - Special interest tracks and posters, pp. 1048-1049, 2005, ACM, 1-59593-051-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Asian Test Symposium ![In: 4th Asian Test Symposium (ATS '95), November 23-24, 1995. Bangalore, India, pp. 184-, 1995, IEEE Computer Society, 0-8186-7129-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGUCCS ![In: Proceedings of the 36th Annual ACM SIGUCCS Conference on User Services 2008, Portland, OR, USA, October 19-22, 2008, pp. 297-300, 2008, ACM, 978-1-60558-074-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCSA (2) ![In: Computational Science and Its Applications - ICCSA 2008, International Conference, Perugia, Italy, June 30 - July 3, 2008, Proceedings, Part II, pp. 91-104, 2008, Springer, 978-3-540-69840-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DG.O ![In: Proceedings of the 7th Annual International Conference on Digital Government Research, DG.O 2006, San Diego, California, USA, May 21-24, 2006, pp. 435, 2006, Digital Government Research Center. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
32 | Gérard Lelièvre, Jacques Souillot |
Implementing KM Solutions in a Public Research Institution: The CNRS Case. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PAKM ![In: Practical Aspects of Knowledge Management, 4th International Conference, PAKM 2002, Vienna, Austria, December 2-3, 2002, Proceedings, pp. 28-36, 2002, Springer, 3-540-00314-2. The full citation details ...](Pics/full.jpeg) |
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. ![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. 382-390, 2002, IEEE Computer Society, 0-7695-1828-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Access ![In: IEEE Access 8, pp. 17548-17555, 2020. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2008.04647, 2020. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Scientometrics ![In: Scientometrics 102(1), pp. 169-194, 2015. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CBMS ![In: Proceedings of CBMS 2012, The 25th IEEE International Symposium on Computer-Based Medical Systems, June 20-22, 2012, Rome, Italy, pp. 1-4, 2012, IEEE Computer Society, 978-1-4673-2051-1. The full citation details ...](Pics/full.jpeg) |
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). ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2007 |
RDF |
|
25 | Robert Law |
Using student blogs for documentation in software development projects. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ITiCSE ![In: Proceedings of the 16th Annual SIGCSE Conference on Innovation and Technology in Computer Science Education, ITiCSE 2011, Darmstadt, Germany, June 27-29, 2011, pp. 366, 2011, ACM, 978-1-4503-0697-3. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
25 | Javier Vázquez-Salceda, Huib Aldewereld, Davide Grossi, Frank Dignum |
From human regulations to regulated software agents' behavior. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Artif. Intell. Law ![In: Artif. Intell. Law 16(1), pp. 73-87, 2008. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Scientometrics ![In: Scientometrics 70(3), pp. 565-601, 2007. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MTSR ![In: Metadata and Semantics, Post-proceedings of the 2nd International Conference on Metadata and Semantics Research, MTSR 2007, Corfu Island in Greece, 1-2 October 2007, pp. 499-507, 2007, Springer, 978-0-387-77744-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CBMS ![In: 19th IEEE International Symposium on Computer-Based Medical Systems (CBMS 2006), 22-23 June 2006, Salt Lake City, Utah, USA, pp. 171-176, 2006, IEEE Computer Society, 978-0-7695-2517-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DG.O ![In: Proceedings of the 7th Annual International Conference on Digital Government Research, DG.O 2006, San Diego, California, USA, May 21-24, 2006, pp. 289-290, 2006, Digital Government Research Center. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
25 | Paul Jen-Hwa Hu, Dai Cui, Alan Charles Sherwood |
Examining Cross-Agency Collaborations in E-Government Initiatives. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HICSS ![In: 39th Hawaii International International Conference on Systems Science (HICSS-39 2006), CD-ROM / Abstracts Proceedings, 4-7 January 2006, Kauai, HI, USA, 2006, IEEE Computer Society, 0-7695-2507-5. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
25 | Vadim Astakhov, Amarnath Gupta, Simone Santini, Jeffrey S. Grethe |
Data Integration in the Biomedical Informatics Research Network (BIRN). ![Search on Bibsonomy](Pics/bibsonomy.png) |
DILS ![In: Data Integration in the Life Sciences, Second InternationalWorkshop, DILS 2005, San Diego, CA, USA, July 20-22, 2005, Proceedings, pp. 317-320, 2005, Springer, 3-540-27967-9. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
25 | Lutz Schröder, Till Mossakowski, Christoph Lüth |
Type Class Polymorphism in an Institutional Framework. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WADT ![In: Recent Trends in Algebraic Development Techniques, 17th International Workshop, WADT 2004, Barcelona, Spain, March 27-29, 2004, Revised Selected Papers, pp. 234-251, 2004, Springer, 3-540-25327-0. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
25 | Stefan Strecker, Stefan Seifert |
Electronic Sourcing with Multi-Attribute Auctions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HICSS ![In: 37th Hawaii International Conference on System Sciences (HICSS-37 2004), CD-ROM / Abstracts Proceedings, 5-8 January 2004, Big Island, HI, USA, 2004, IEEE Computer Society, 0-7695-2056-1. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
25 | Sergio Scandizzo |
Connectivity and the measurement of operational risk: an input-output approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Soft Comput. ![In: Soft Comput. 7(8), pp. 516-525, 2003. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WADT ![In: Recent Trends in Algebraic Development Techniques, 16th International Workshop, WADT 2002, Frauenchiemsee, Germany, September 24-27, 2002, Revised Selected Papers, pp. 129-144, 2002, Springer, 3-540-20537-3. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
25 | Yngve Lamo, Michal Walicki |
Combining Specification Formalisms in the ?General Logic? of Multialgebras. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WADT ![In: Recent Trends in Algebraic Development Techniques, 16th International Workshop, WADT 2002, Frauenchiemsee, Germany, September 24-27, 2002, Revised Selected Papers, pp. 328-342, 2002, Springer, 3-540-20537-3. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
25 | Oliver Vickers, Julian A. Padget |
Skeletal Jade Components for the Construction of Institutions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AMEC ![In: Agent-Mediated Electronic Commerce IV, Designing Mechanisms and Systems, AAMAS 2002 Workshop on Agent Mediated Electronic Commerce, Bologna, Italy, July 16, 2002, Revised Papers, pp. 307-324, 2002, Springer, 3-540-00327-4. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
25 | Wamberto Weber Vasconcelos, Jordi Sabater, Carles Sierra, Joaquim Querol |
Skeleton-based agent development for electronic institutions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAMAS ![In: The First International Joint Conference on Autonomous Agents & Multiagent Systems, AAMAS 2002, July 15-19, 2002, Bologna, Italy, Proceedings, pp. 696-703, 2002, ACM. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
25 | Amílcar Sernadas, Cristina Sernadas, Carlos Caleiro |
Denotational Semantics of Object Specification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Acta Informatica ![In: Acta Informatica 35(9), pp. 729-773, 1998. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
25 | Tomasz Borzyszkowski |
Moving Specification Structures Between Logical Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WADT ![In: Recent Trends in Algebraic Development Techniques, 13th International Workshop, WADT '98, Lisbon, Portugal, April 2-4, 1998, Selected Papers, pp. 16-30, 1998, Springer, 3-540-66246-4. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
25 | Alfio Martini, Uwe Wolter |
A Single Perspective on Arrows between Institutions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AMAST ![In: Algebraic Methodology and Software Technology, 7th International Conference, AMAST '98, Amazonia, Brasil, January 4-8, 1999, Proceedings, pp. 486-501, 1998, Springer, 3-540-65462-3. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
25 | Rolf Hennicker, Michel Bidoit |
Observational Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AMAST ![In: Algebraic Methodology and Software Technology, 7th International Conference, AMAST '98, Amazonia, Brasil, January 4-8, 1999, Proceedings, pp. 263-277, 1998, Springer, 3-540-65462-3. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
25 | Fernando Orejas, Elvira Pino, Hartmut Ehrig |
Algebraic Methods in the Compositional Analysis of Logic Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MFCS ![In: Mathematical Foundations of Computer Science 1994, 19th International Symposium, MFCS'94, Kosice, Slovakia, August 22 - 26, 1994, Proceedings, pp. 112-126, 1994, Springer, 3-540-58338-6. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
24 | Meng Zhang, Xuejun Li |
A Design of the Mechanism for Lower Limbs Passive Rehabilitation and Kinematics Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCST ![In: Fifth International Conference on Frontier of Computer Science and Technology, FCST 2010, Changchun, Jilin Province, China, August 18-22, 2010, pp. 603-607, 2010, IEEE Computer Society, 978-0-7695-4139-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGIR ![In: Proceeding of the 33rd International ACM SIGIR Conference on Research and Development in Information Retrieval, SIGIR 2010, Geneva, Switzerland, July 19-23, 2010, pp. 801-802, 2010, ACM, 978-1-4503-0153-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEAFOOD ![In: Software Engineering Approaches for Offshore and Outsourced Development - 3rd International Conference, SEAFOOD@TOOLS 2009, Zurich, Switzerland, July 2-3, 2009. Proceedings, pp. 102-116, 2009, Springer, 978-3-642-02986-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Inf. Technol. Biomed. ![In: IEEE Trans. Inf. Technol. Biomed. 12(4), pp. 424-432, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
24 | Kanishka Bedi |
Experiences of Hybrid Corporate Training Programmes at an Online Academic Institution. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICHL ![In: Hybrid Learning and Education, First International Conference, ICHL 2008, Hong Kong, China, August 13-15, 2008, Proceedings, pp. 271-282, 2008, Springer, 978-3-540-85169-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCHP ![In: Computers Helping People with Special Needs, 11th International Conference, ICCHP 2008, Linz, Austria, July 9-11, 2008. Proceedings, pp. 215-218, 2008, Springer, 978-3-540-70539-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WADT ![In: Recent Trends in Algebraic Development Techniques, 18th International Workshop, WADT 2006, La Roche en Ardenne, Belgium, June 1-3, 2006, Revised Selected Papers, pp. 92-110, 2006, Springer, 978-3-540-71997-7. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
24 | Muhammad Farhat Kaleem |
Initiating Technology-Enhanced Learning at a Public-Sector Institution in a Developing Country. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EC-TEL ![In: Innovative Approaches for Learning and Knowledge Sharing, First European Conference on Technology Enhanced Learning, EC-TEL 2006, Crete, Greece, October 1-4, 2006, Proceedings, pp. 494-499, 2006, Springer, 3-540-45777-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CCIA ![In: Topics in Artificial Intelligence, 5th Catalonian Conference on AI, CCIA 2002, Castellón, Spain, October 24-25, 2002, Proceedings, pp. 309-321, 2002, Springer, 3-540-00011-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Intell. Syst. ![In: IEEE Intell. Syst. 15(2), pp. 69-75, 2000. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WADT ![In: Recent Trends in Algebraic Development Techniques, 13th International Workshop, WADT '98, Lisbon, Portugal, April 2-4, 1998, Selected Papers, pp. 198-215, 1998, Springer, 3-540-66246-4. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
24 | Hubert Baumeister |
Unifying Initial and Loose Semantics of Parameterized Specifications in an Arbitrary Institution. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TAPSOFT, Vol.1 ![In: TAPSOFT'91: Proceedings of the International Joint Conference on Theory and Practice of Software Development, Brighton, UK, April 8-12, 1991, Volume 1: Colloquium on Trees in Algebra and Programming (CAAP'91), pp. 103-120, 1991, Springer, 3-540-53982-4. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
17 | Kenneth Janz, Ken Graetz |
Status of a digital life and learning program. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGUCCS ![In: Proceedings of the ACM SIGUCCS Fall Conference on User Services 2009, St. Louis, Missouri, USA, October 11-14, 2009, pp. 33-40, 2009, ACM, 978-1-60558-477-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CHI Extended Abstracts ![In: Proceedings of the 27th International Conference on Human Factors in Computing Systems, CHI 2009, Extended Abstracts Volume, Boston, MA, USA, April 4-9, 2009, pp. 2817-2822, 2009, ACM, 978-1-60558-247-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISA ![In: Advances in Information Security and Assurance, Third International Conference and Workshops, ISA 2009, Seoul, Korea, June 25-27, 2009. Proceedings, pp. 41-50, 2009, Springer, 978-3-642-02616-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICEGOV ![In: ICEGOV 2009, Proceedings of the 3rd International Conference on Theory and Practice of Electronic Governance, Bogota, Colombia, November 10-13, 2009, pp. 404-406, 2009, ACM, 978-1-60558-663-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WADT ![In: Recent Trends in Algebraic Development Techniques, 19th International Workshop, WADT 2008, Pisa, Italy, June 13-16, 2008, Revised Selected Papers, pp. 266-289, 2008, Springer, 978-3-642-03428-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECDL ![In: Research and Advanced Technology for Digital Libraries, 12th European Conference, ECDL 2008, Aarhus, Denmark, September 14-19, 2008. Proceedings, pp. 413-414, 2008, Springer, 978-3-540-87598-7. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
17 | Hannes Kulovits, Christoph Becker 0001, Michael Kraxner, Florian Motlik, Kevin Stadler, Andreas Rauber |
Plato: a preservation planning tool. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JCDL ![In: ACM/IEEE Joint Conference on Digital Libraries, JCDL 2008, Pittsburgh, PA, USA, June 16-20, 2008, pp. 428, 2008, ACM, 978-1-59593-998-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JCDL ![In: ACM/IEEE Joint Conference on Digital Libraries, JCDL 2008, Pittsburgh, PA, USA, June 16-20, 2008, pp. 459, 2008, ACM, 978-1-59593-998-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPR ![In: Proceedings of the 2008 ACM SIGMIS CPR Conference on Computer Personnel Research 2008, April 3-5, 2008, Charlottesville, VA, USA, pp. 106-108, 2008, ACM, 978-1-60558-069-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KRAMAS ![In: Knowledge Representation for Agents and Multi-Agent Systems, First International Workshop, KRAMAS 2008, Sydney, Australia, September 17, 2008, Revised Selected Papers, pp. 66-80, 2008, Springer, 978-3-642-05300-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COIN@AAMAS&AAAI ![In: Coordination, Organizations, Institutions and Norms in Agent Systems IV, COIN 2008 International Workshops, COIN@AAMAS 2008, Estoril, Portugal, May 12, 2008. COIN@AAAI 2008, Chicago, USA, July 14, 2008. Revised Selected Papers, pp. 126-139, 2008, Springer, 978-3-642-00442-1. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
17 | Ronald N. Kostoff |
The difference between highly and poorly cited medical articles in the journal Lancet. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Scientometrics ![In: Scientometrics 72(3), pp. 513-520, 2007. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Artif. Intell. Law ![In: Artif. Intell. Law 15(3), pp. 201-221, 2007. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DALT ![In: Declarative Agent Languages and Technologies V, 5th International Workshop, DALT 2007, Honolulu, HI, USA, May 14, 2007, Revised Selected and Invited Papers, pp. 227-244, 2007, Springer, 978-3-540-77563-8. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
17 | María de Jesús, Juan C. Karman |
A course's comparative analysis: traditional classroom and distance learning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGUCCS ![In: Proceedings of the 35th Annual ACM SIGUCCS Conference on User Services 2007, Orlando, Florida, USA, October 7-10, 2007, pp. 372-376, 2007, ACM, 978-1-59593-634-9. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
approval, on line offering, retention |
17 | Jose Lorenzo Silva-Lugo |
Measuring the effectiveness of circa operations training program. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGUCCS ![In: Proceedings of the 35th Annual ACM SIGUCCS Conference on User Services 2007, Orlando, Florida, USA, October 7-10, 2007, pp. 310-313, 2007, ACM, 978-1-59593-634-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGUCCS ![In: Proceedings of the 35th Annual ACM SIGUCCS Conference on User Services 2007, Orlando, Florida, USA, October 7-10, 2007, pp. 60-64, 2007, ACM, 978-1-59593-634-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CONFENIS (2) ![In: Research and Practical Issues of Enterprise Information Systems II, Volume 2, IFIP TC 8 WG 8.9 International Conference on Research and Practical Issues of Enterprise Information Systems (CONFENIS 2007), October 14-16, 2007, Beijing, China, pp. 1147-1157, 2007, Springer, 978-0-387-76311-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EATIS ![In: Proceedings of the 2007 Euro American conference on Telematics and Information Systems, EATIS 2007, Faro, Portugal, May 14-17, 2007, pp. 53, 2007, 978-1-59593-598-4. The full citation details ...](Pics/full.jpeg) |
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??? ![Search on Bibsonomy](Pics/bibsonomy.png) |
AOSE ![In: Agent-Oriented Software Engineering VIII, 8th International Workshop, AOSE 2007, Honolulu, HI, USA, May 14, 2007, Revised Selected Papers, pp. 73-87, 2007, Springer, 978-3-540-79487-5. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
17 | Frank Guerin, Wamberto Weber Vasconcelos |
A component-based approach to standardising agent communication. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAMAS ![In: 6th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2007), Honolulu, Hawaii, USA, May 14-18, 2007, pp. 35, 2007, IFAAMAS, 978-81-904262-7-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Discovery Science ![In: Discovery Science, 9th International Conference, DS 2006, Barcelona, Spain, October 7-10, 2006, Proceedings, pp. 231-242, 2006, Springer, 3-540-46491-3. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
17 | Dorel Lucanu, Yuan-Fang Li, Jin Song Dong |
Semantic Web Languages - Towards an Institutional Perspective. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Essays Dedicated to Joseph A. Goguen ![In: Algebra, Meaning, and Computation, Essays Dedicated to Joseph A. Goguen on the Occasion of His 65th Birthday, pp. 99-123, 2006, Springer, 3-540-35462-X. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
17 | Michel Bidoit, Rolf Hennicker |
Proving Behavioral Refinements of COL-specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Essays Dedicated to Joseph A. Goguen ![In: Algebra, Meaning, and Computation, Essays Dedicated to Joseph A. Goguen on the Occasion of His 65th Birthday, pp. 333-354, 2006, Springer, 3-540-35462-X. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
17 | Steven J. Timmins |
Student computing purchase programs. ![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. 397-402, 2006, ACM, 1-59593-438-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISPEC ![In: Information Security Practice and Experience, Second International Conference, ISPEC 2006, Hangzhou, China, April 11-14, 2006, Proceedings, pp. 379-389, 2006, Springer, 3-540-33052-6. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
17 | George Voutsadakis |
Categorical Abstract Algebraic Logic: (J, N)-Algebraic Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Categorical Struct. ![In: Appl. Categorical Struct. 13(3), pp. 265-280, 2005. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WMASH ![In: Proceedings of the 3rd ACM International Workshop on Wireless Mobile Applications and Services on WLAN Hotspots, WMASH 2005, Cologne, Germany, September 2, 2005, pp. 56-64, 2005, ACM, 1-59593-143-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGCSE ![In: Proceedings of the 36th SIGCSE Technical Symposium on Computer Science Education, SIGCSE 2005, St. Louis, Missouri, USA, February 23-27, 2005, pp. 416-420, 2005, ACM, 1-58113-997-7. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
adoption/adaptation, multimedia, programming, CS1 |
Displaying result #1 - #100 of 1450 (100 per page; Change: ) Pages: [ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ >>] |
|