|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 1787 occurrences of 1141 keywords
|
|
|
Results
Found 3158 publication records. Showing 3158 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
19 | Jan Mendling, Wil M. P. van der Aalst |
Formalization and Verification of EPCs with OR-Joins Based on State and Context. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAiSE ![In: Advanced Information Systems Engineering, 19th International Conference, CAiSE 2007, Trondheim, Norway, June 11-15, 2007, Proceedings, pp. 439-453, 2007, Springer, 978-3-540-72987-7. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
19 | Junghwa Chae |
Towards Modal Logic Formalization of Role-Based Access Control with Object Classes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FORTE ![In: Formal Techniques for Networked and Distributed Systems - FORTE 2007, 27th IFIP WG 6.1 International Conference, Tallinn, Estonia, June 27-29, 2007, Proceedings, pp. 97-111, 2007, Springer, 978-3-540-73195-5. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
object class hierarchy, tableaux method, Role-based access control, modal logic, object classes |
19 | Christian Webel, Reinhard Gotzhein |
Formalization of Network Quality-of-Service Requirements. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FORTE ![In: Formal Techniques for Networked and Distributed Systems - FORTE 2007, 27th IFIP WG 6.1 International Conference, Tallinn, Estonia, June 27-29, 2007, Proceedings, pp. 309-324, 2007, Springer, 978-3-540-73195-5. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
19 | Sergiy A. Vilkomir, Jonathan P. Bowen, Aditya K. Ghose |
Formalization and assessment of regulatory requirements for safety-critical software. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Innov. Syst. Softw. Eng. ![In: Innov. Syst. Softw. Eng. 2(3-4), pp. 165-178, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
Regulatory requirements, Formal methods, Certification, Z notation |
19 | Sergiy A. Vilkomir, Jonathan P. Bowen |
From MC/DC to RC/DC: formalization and analysis of control-flow testing criteria. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Aspects Comput. ![In: Formal Aspects Comput. 18(1), pp. 42-62, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
Software testing criteria, RC/DC, Formal methods, Z notation, MC/DC |
19 | Carsten Schürmann, Mark-Oliver Stehr |
An Executable Formalization of the HOL/Nuprl Connection in the Metalogical Framework Twelf. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LPAR ![In: Logic for Programming, Artificial Intelligence, and Reasoning, 13th International Conference, LPAR 2006, Phnom Penh, Cambodia, November 13-17, 2006, Proceedings, pp. 150-166, 2006, Springer, 3-540-48281-4. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
19 | Carole Adam, Benoit Gaudou, Andreas Herzig, Dominique Longin |
OCC's Emotions: A Formalization in a BDI Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AIMSA ![In: Artificial Intelligence: Methodology, Systems, and Applications, 12th International Conference, AIMSA 2006, Varna, Bulgaria, September 12-15, 2006, Proceedings, pp. 24-32, 2006, Springer, 3-540-40930-0. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
19 | Xuan Zhou, Qing Li 0010, Lars Ludwig, Yuliu Chen |
Subject-Oriented Knowledge Formalization: Method and Prototype. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Web Intelligence ![In: 2006 IEEE / WIC / ACM International Conference on Web Intelligence (WI 2006), 18-22 December 2006, Hong Kong, China, pp. 853-858, 2006, IEEE Computer Society, 0-7695-2747-7. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
19 | Fernando Náufel do Amaral, Carlos Bazílio, Geiza Maria Hamazaki da Silva, Alexandre Rademaker, Edward Hermann Haeusler |
An Ontology-based Approach to the Formalization of Information Security Policies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EDOC Workshops ![In: Tenth IEEE International Enterprise Distributed Object Computing Conference (EDOC 2006), 16-20 October 2006, Hong Kong, China, Workshops, pp. 1, 2006, IEEE Computer Society, 0-7695-2743-4. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
19 | Silvio Valentini |
The problem of the formalization of constructive topology. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Arch. Math. Log. ![In: Arch. Math. Log. 44(1), pp. 115-129, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
19 | Federico Chesani |
Formalization and Verification of Interaction Protocols. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP ![In: Logic Programming, 21st International Conference, ICLP 2005, Sitges, Spain, October 2-5, 2005, Proceedings, pp. 437-438, 2005, Springer, 3-540-29208-X. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
19 | Carlos Rossi, Manuel Enciso, Inmaculada Perez de Guzmán |
Formalization of UML state machines using temporal logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Softw. Syst. Model. ![In: Softw. Syst. Model. 3(1), pp. 31-54, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
UML, specification, formal semantics, interval temporal logic, Statechart diagrams |
19 | Paul Hankes Drielsma, Sebastian Mödersheim, Luca Viganò 0001 |
A Formalization of Off-Line Guessing for Security Protocol Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LPAR ![In: Logic for Programming, Artificial Intelligence, and Reasoning, 11th International Conference, LPAR 2004, Montevideo, Uruguay, March 14-18, 2005, Proceedings, pp. 363-379, 2004, Springer, 3-540-25236-3. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
19 | Jim Blythe, Yolanda Gil |
Incremental formalization of document annotations through ontology-based paraphrasing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WWW ![In: Proceedings of the 13th international conference on World Wide Web, WWW 2004, New York, NY, USA, May 17-20, 2004, pp. 455-461, 2004, ACM, 1-58113-844-X. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
knowledge acquisition, semantic markup, document annotation |
19 | Masaki Nakagawa, Bilan Zhu, Motoki Onuma |
A Formalization of On-line Handwritten Japanese Text Recognition free from Line Direction Constraint. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICPR (2) ![In: 17th International Conference on Pattern Recognition, ICPR 2004, Cambridge, UK, August 23-26, 2004., pp. 359-362, 2004, IEEE Computer Society, 0-7695-2128-2. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
19 | Thouraya Bouabana-Tebibel, Mounira Belmesk |
Formalization of UML object dynamics and behavior. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SMC (5) ![In: Proceedings of the IEEE International Conference on Systems, Man & Cybernetics: The Hague, Netherlands, 10-13 October 2004, pp. 4971-4976, 2004, IEEE, 0-7803-8566-7. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
19 | Sjouke Mauw, Jan Verschuren, Erik P. de Vink |
A Formalization of Anonymity and Onion Routing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESORICS ![In: Computer Security - ESORICS 2004, 9th European Symposium on Research Computer Security, Sophia Antipolis, France, September 13-15, 2004, Proceedings, pp. 109-124, 2004, Springer, 3-540-22987-6. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
19 | Franck Barbier, Brian Henderson-Sellers, Annig Le Parc, Jean-Michel Bruel |
Formalization of the Whole-Part Relationship in the Unified Modeling Language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 29(5), pp. 459-470, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
Whole-Part relationship, UML, composition, aggregation, Object-oriented modeling |
19 | Alberto Momigliano, Jeff Polakow |
A formalization of an Ordered Logical Framework in Hybrid with applications to continuation machines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MERLIN ![In: Eighth ACM SIGPLAN International Conference on Functional Programming, Workshop on Mechanized reasoning about languages with variable binding, MERLIN 2003, Uppsala, Sweden, August 2003, 2003, ACM, 978-1-58113-800-9. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
continuation machines, ordered linear logic, logical frameworks, higher order abstract syntax |
19 | Zhanmin Yang, Chundi Mu |
The Formalization of Argumentation and Its Application in Network Computing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Web Intelligence ![In: 2003 IEEE / WIC International Conference on Web Intelligence, (WI 2003), 13-17 October 2003, Halifax, Canada, pp. 446-449, 2003, IEEE Computer Society, 0-7695-1932-6. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
19 | Reynald Affeldt, Naoki Kobayashi 0001 |
Formalization and Verification of a Mail Server in Coq. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSS ![In: Software Security -- Theories and Systems, Mext-NSF-JSPS International Symposium, ISSS 2002, Tokyo, Japan, November 8-10, 2002, Revised Papers, pp. 217-233, 2002, Springer, 3-540-00708-3. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
19 | Girish Kumar Patnaik, M. M. Gore |
Design of Compiler for Mobile Environment and Its Formalization Using Evolving Algebra. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Mobile Data Management ![In: Proceedings of the Third International Conference on Mobile Data Management (MDM 2002), Singapore, January 8-11, 2002, pp. 159-160, 2002, IEEE Computer Society, 0-7695-1500-2. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
Evolving Algebra, Mobile Computing, Compiler Design |
19 | Sergiy A. Vilkomir, Jonathan P. Bowen |
Formalization of Software Testing Criteria using the Z Notation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COMPSAC ![In: 25th International Computer Software and Applications Conference (COMPSAC 2001), Invigorating Software Development, 8-12 October 2001, Chicago, IL, USA, pp. 351-356, 2001, IEEE Computer Society, 0-7695-1372-7. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
coverage, Z notation, testing criteria, MC/DC |
19 | Joseph Gil, John Howse, Stuart Kent 0001 |
Towards a Formalization of Constraint Diagrams. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HCC ![In: 2002 IEEE CS International Symposium on Human-Centric Computing Languages and Environments (HCC 2001), September 5-7, 2001 Stresa, Italy, pp. 72-, 2001, IEEE Computer Society, 0-7803-7198-4. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
formal methods, software specification, Visual formalisms |
19 | Christophe Dehlinger, Jean-François Dufourd, Pascal Schreck |
Higher-Order Intuitionistic Formalization and Proofs in Hilbert's Elementary Geometry. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Automated Deduction in Geometry ![In: Automated Deduction in Geometry, Third International Workshop, ADG 2000, Zurich, Switzerland, September 25-27, 2000, Revised Papers, pp. 306-324, 2000, Springer, 3-540-42598-5. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
19 | Betty H. C. Cheng, Laura A. Campbell, Enoch Y. Wang |
Enabling Automated Analysis through the Formalization of Object-Oriented Modeling Diagrams. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DSN ![In: 2000 International Conference on Dependable Systems and Networks (DSN 2000) (formerly FTCS-30 and DCCA-8), 25-28 June 2000, New York, NY, USA, pp. 305-314, 2000, IEEE Computer Society, 0-7695-0707-7. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
simulation and model checking, formal specifications, Object-oriented modeling |
19 | Innocent Bakam, Fabrice Kordon, Christophe Le Page, François Bousquet |
Formalization of a Spatialized Multiagent Model Using Coloured Petri Nets for the Study of an Hunting Management System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FAABS ![In: Formal Approaches to Agent-Based Systems, First International Workshop, FAABS 2000 Greenbelt, MD, USA, April 5-7, 2000, Revised Papers, pp. 123-132, 2000, Springer, 3-540-42716-3. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
19 | Josefina Sierra-Santibáñez |
Declarative Formalization of Strategies for Action Selection: Applications to Planning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JELIA ![In: Logics in Artificial Intelligence, European Workshop, JELIA 2000 Malaga, Spain, September 29 - October 2, 2000, Proceedings, pp. 133-147, 2000, Springer, 3-540-41131-3. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
19 | David Mentré, Daniel Le Métayer, Thierry Priol |
Formalization and Verification of Coherence Protocols with the Gamma Framework. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PDSE ![In: International Symposium on Software Engineering for Parallel and Distributed Systems, PDSE 2000, Limerick, Ireland, June 10-11, 2000, pp. 105-113, 2000, IEEE Computer Society, 0-7695-0634-8. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
19 | Silvia Teresita Acuña, R. Giandini, Cecilia María Lasserre, Viviana Elizabet Quincoces |
Capacities-Centered Integral Software Process Formalization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SCCC ![In: 20st International Conference of the Chilean Computer Science Society (SCCC 2000), 16-18 November 2000, Santiago, Chile, pp. 152-161, 2000, IEEE Computer Society, 0-7695-0810-3. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
CCISPM, Capacities Centered Integral Software Process Model, software engineering, object-oriented programming, knowledge based systems, knowledge-based systems, project management, dynamic modeling, project planning, object oriented approach |
19 | Mitsuharu Yamamoto, Koichi Takahashi, Masami Hagiya, Shin-ya Nishizaki, Tetsuo Tamai |
Formalization of Graph Search Algorithms and Its Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TPHOLs ![In: Theorem Proving in Higher Order Logics, 11th International Conference, TPHOLs'98, Canberra, Australia, September 27 - October 1, 1998, Proceedings, pp. 479-496, 1998, Springer, 3-540-64987-5. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
19 | Rainer Koppler |
Parallelization of Unstructured Mesh Computations Using Data Structure Formalization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Euro-Par ![In: Euro-Par '98 Parallel Processing, 4th International Euro-Par Conference, Southampton, UK, September 1-4, 1998, Proceedings, pp. 435-444, 1998, Springer, 3-540-64952-2. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
19 | Abdelillah Mokkedem, Ravi Hosabettu, Ganesh Gopalakrishnan |
Formalization and Proof of a Solution to the PCI 2.1 Bus Transaction Ordering Problem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCAD ![In: Formal Methods in Computer-Aided Design, Second International Conference, FMCAD '98, Palo Alto, California, USA, November 4-6, 1998, Proceedings, pp. 237-254, 1998, Springer, 3-540-65191-8. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
19 | I. S. W. B. Prasetya |
Formalization of Variables Access Constraints to Support Compositionality of Liveness Properties. ![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. 324-337, 1993, Springer, 3-540-57826-9. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
19 | Anthony McIsaac |
A Formalization of Abstraction in LAMBDA. ![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. 227-238, 1993, Springer, 3-540-57826-9. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
19 | Roel J. Wieringa |
A Formalization of Objects Using Equational Dynamic Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DOOD ![In: Deductive and Object-Oriented Databases, Second International Conference, DOOD'91, Munich, Germany, December 16-18, 1991, Proceedings, pp. 431-452, 1991, Springer, 3-540-55015-1. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
19 | François Bry |
Negation in Logic Programming: A Formalization in Constructive Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IS/KI ![In: Information Systems and Artificial Intelligence: Integration Aspects, First Workshop, Ulm, FRG, March 19-21, 1990, Proceedings, pp. 30-46, 1990, Springer, 3-540-53557-8. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
19 | François Bry |
Logic Programming as Constructivism: A Formalization and its Application to Databases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PODS ![In: Proceedings of the Eighth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, March 29-31, 1989, Philadelphia, Pennsylvania, USA, pp. 34-50, 1989, ACM Press, 0-89791-308-6. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
|
19 | Timo Niemi, Kalervo Järvelin |
A Straightforward Formalization of the Relational Model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGMOD Rec. ![In: SIGMOD Rec. 14(1), pp. 15-38, 1984. The full citation details ...](Pics/full.jpeg) |
1984 |
DBLP DOI BibTeX RDF |
|
19 | Jean-Marie Nicolas 0001 |
First Order Logic Formalization for Functional, Multivalued and Mutual Dependencies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGMOD Conference ![In: Proceedings of the 1978 ACM SIGMOD International Conference on Management of Data, Austin, Texas, USA, May 31 - June 2, 1978, pp. 40-46, 1978, ACM, 978-1-4503-7342-5. The full citation details ...](Pics/full.jpeg) |
1978 |
DBLP DOI BibTeX RDF |
logic and data bases, mutual dependencies, functional dependencies, multivalued dependencies, relational data base |
18 | Daniel Sinnig, Homa Javahery |
Mastering use cases: capturing functional requirements for interactive applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EICS ![In: Proceedings of the 2nd ACM SIGCHI Symposium on Engineering Interactive Computing System, EICS 2010, Berlin, Germany, June 19-23, 2010, pp. 373-374, 2010, ACM, 978-1-4503-0083-4. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
heuristics, refactoring, use cases, guidelines, formalization, user interface models |
18 | Yucong Duan, Christophe Cruz, Christophe Nicolle |
Managing Semantics Knowledge for 3D Architectural Reconstruction of Building Objects. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SERA ![In: Proceedings of the Eighth ACIS International Conference on Software Engineering Research, Management and Applications, SERA 2010, Montreal, Canada, May 24-26, 2010, pp. 121-128, 2010, IEEE Computer Society, 978-0-7695-4075-7. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
knowledge management, semantics, cognition, formalization, epistemology, BIM |
18 | Hamed Khiabani, Zailani Mohamed Sidek, Jamalul-lail Ab Manan |
Towards a Unified Trust Model in Pervasive Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AINA Workshops ![In: 24th IEEE International Conference on Advanced Information Networking and Applications Workshops, WAINA 2010, Perth, Australia, 20-13 April 2010, pp. 831-835, 2010, IEEE Computer Society, 978-0-7695-4019-1. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
Trust, Pervasive Computing, Formalization, Trustworthiness, TPM |
18 | Gabriel A. Weaver, Scott A. Rea, Sean W. Smith |
Computational techniques for increasing PKI policy comprehension by human analysts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IDtrust ![In: Proceedings of the 9th Symposium on Identity and Trust on the Internet, IDtrust 2010, Gaithersburg, Maryland, USA, April 13-15, 2010, pp. 51-62, 2010, ACM, 978-1-60558-895-7. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
certificate policy formalization, XML, PKI |
18 | François Garillot, Georges Gonthier, Assia Mahboubi, Laurence Rideau |
Packaging Mathematical Structures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TPHOLs ![In: Theorem Proving in Higher Order Logics, 22nd International Conference, TPHOLs 2009, Munich, Germany, August 17-20, 2009. Proceedings, pp. 327-342, 2009, Springer, 978-3-642-03358-2. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Formalization of Algebra, Coercive subtyping, SSReflect, Type inference, Coq |
18 | Nicolas Magaud, Julien Narboux, Pascal Schreck |
Formalizing Desargues' theorem in Coq using ranks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAC ![In: Proceedings of the 2009 ACM Symposium on Applied Computing (SAC), Honolulu, Hawaii, USA, March 9-12, 2009, pp. 1110-1115, 2009, ACM, 978-1-60558-166-8. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Desargues, rank, formalization, projective geometry, Coq |
18 | Marc Daumas, Érik Martin-Dorel, Annick Truffert, Michel Ventou |
A Formal Theory of Cooperative TU-Games. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MDAI ![In: Modeling Decisions for Artificial Intelligence, 6th International Conference, MDAI 2009, Awaji Island, Japan, November 30-December 2, 2009. Proceedings, pp. 81-91, 2009, Springer, 978-3-642-04819-7. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
automated proof checker, formalization, cooperative games |
18 | Manolis Tzagarakis, Nikos Karousos, Nikos I. Karacapilidis |
On the Development of Web-Based Argumentative Collaboration Support Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WSKS (1) ![In: Visioning and Engineering the Knowledge Society. A Web Science Perspective, Second World Summit on the Knowledge Society, WSKS 2009, Chania, Crete, Greece, September 16-18, 2009. Proceedings, pp. 306-315, 2009, Springer, 978-3-642-04753-4. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
argumentative collaboration, CoPe_it!, Web-based systems, incremental formalization |
18 | Christian Kruschitz |
XPLML: a HCI pattern formalizing and unifying approach. ![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. 4117-4122, 2009, ACM, 978-1-60558-247-4. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
human computer interaction, semantics, design patterns, standardization, formalization, pattern language |
18 | Jürgen Dingel, Zinovy Diskin, Alanna Zito |
Understanding and improving UML package merge. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Softw. Syst. Model. ![In: Softw. Syst. Model. 7(4), pp. 443-467, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Semantics formalization, Metamodeling techniques, UML, Model composition |
18 | Leon Horsten, Igor Douven |
Formal Methods in the Philosophy of Science. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Stud Logica ![In: Stud Logica 89(2), pp. 151-162, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
applied logic, formal method, formalization |
18 | Yongyi Peng, Ning Huang |
Formalizing Semantics of OWL-S Process Model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PACIIA (1) ![In: PACIIA 2008, Volume 1, 2008 IEEE Pacific-Asia Workshop on Computational Intelligence and Industrial Application, 19-20 December 2008, Wuhan, China, pp. 597-601, 2008, IEEE Computer Society, 978-0-7695-3490-9. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
formalization, OWL-S, rewrite logic, Maude, dynamic semantics |
18 | Dong-Seok Kang, Hun Yeong Kwon, Yoon-Seok Ko |
Case Study on the Effects of Administrative Informatization on the Organizational Structure for the Central Government in Korea. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EGOV ![In: Electronic Government, 7th International Conference, EGOV 2008, Turin, Italy, August 31 - September 5, 2008. Proceedings, pp. 49-60, 2008, Springer, 978-3-540-85203-2. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Administrative Informatization, manpower system, Complexity, e-government, Formalization, Centralization, differentiation, organizational structure |
18 | David Nowak |
On Formal Verification of Arithmetic-Based Cryptographic Primitives. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICISC ![In: Information Security and Cryptology - ICISC 2008, 11th International Conference, Seoul, Korea, December 3-5, 2008, Revised Selected Papers, pp. 368-382, 2008, Springer, 978-3-642-00729-3. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
machine formalization, CSPRBG, semantic security, cryptographic primitives |
18 | Sergey V. Zelenov, Sophia A. Zelenova |
Model-Based Testing of Optimizing Compilers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TestCom/FATES ![In: Testing of Software and Communicating Systems, 19th IFIP TC6/WG6.1 International Conference, TestCom 2007, 7th International Workshop, FATES 2007, Tallinn, Estonia, June 26-29, 2007, Proceedings, pp. 365-377, 2007, Springer, 978-3-540-73065-1. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
compiler testing, formalization of requirements, formal data model, model based testing, test data generation |
18 | Xinwu Cheng, Lei Li, Jun Wei 0001 |
Automatic enactment of message exchange pattern for web services. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAC ![In: Proceedings of the 2007 ACM Symposium on Applied Computing (SAC), Seoul, Korea, March 11-15, 2007, pp. 1649-1653, 2007, ACM, 1-59593-480-4. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
message exchange pattern, formalization, automatic, enactment |
18 | Kevin Kyung Nam, Mark S. Ackerman |
Arkose: reusing informal information from online discussions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GROUP ![In: Proceedings of the 2007 International ACM SIGGROUP Conference on Supporting Group Work, GROUP 2007, Sanibel Island, Florida, USA, November 4-7, 2007, pp. 137-146, 2007, ACM, 978-1-59593-845-9. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
collaborative distillation, community knowledge, CSCW, online communities, design rationale, information organization, information reuse, incremental formalization, knowledge communities |
18 | Hong Zhang, Bo Zhang 0003 |
Generalized Association Rule Mining Algorithms Based on Multidimensional Data. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CONFENIS (1) ![In: Research and Practical Issues of Enterprise Information Systems II, Volume 1, 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. 337-342, 2007, Springer, 978-0-387-75901-2. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Multi-dimension, Date mining, Formalization, Multidimensional data, Generalized association rule |
18 | Vijay Menon 0002, Neal Glew, Brian R. Murphy, Andrew McCreight, Tatiana Shpeisman, Ali-Reza Adl-Tabatabai, Leaf Petersen |
A verifiable SSA program representation for aggressive compiler optimization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: Proceedings of the 33rd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2006, Charleston, South Carolina, USA, January 11-13, 2006, pp. 397-408, 2006, ACM, 1-59593-027-2. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
SSA formalization, check elimination, proof variables, safety dependences, typeability preservation, type systems, intermediate representations, typed intermediate languages |
18 | Jingwei Huang 0002, Mark S. Fox |
An ontology of trust: formal semantics and transitivity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICEC ![In: Proceedings of the 8th International Conference on Electronic Commerce: The new e-commerce - Innovations for Conquering Current Barriers, Obstacles and Limitations to Conducting Successful Business on the Internet, 2006, Fredericton, New Brunswick, Canada, August 13-16, 2006, pp. 259-270, 2006, ACM, 1-59593-392-1. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
transitivity of trust, trust formalization, web of trust, trust ontology |
18 | LiGuo Huang, Barry W. Boehm, Hao Hu 0001, JiDong Ge, Jian Lü 0001, Cheng Qian |
Applying the Value/Petri process to ERP software development in China. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSE ![In: 28th International Conference on Software Engineering (ICSE 2006), Shanghai, China, May 20-28, 2006, pp. 502-511, 2006, ACM, 1-59593-375-1. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
object petri nets (OPN), software process formalization, software quality, cost, ROI, value, software process simulation |
18 | Ebrahim Bagheri, Ali A. Ghorbani 0001 |
Behavior analysis through reputation propagation in a multi-context environment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PST ![In: Proceedings of the 2006 International Conference on Privacy, Security and Trust: Bridge the Gap Between PST Technologies and Business Services, PST 2006, Markham, Ontario, Canada, October 30 - November 1, 2006, pp. 40, 2006, ACM. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
multi-context reputation, reputation formalization, reputation propagation |
18 | Aline Lúcia Baroni |
Quantitative assessment of UML dynamic models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESEC/SIGSOFT FSE ![In: Proceedings of the 10th European Software Engineering Conference held jointly with 13th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2005, Lisbon, Portugal, September 5-9, 2005, pp. 366-369, 2005, ACM, 1-59593-014-0. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
UML meta-model, UML models (use cases, activity, sequence, collaboration, communication), estimation, statecharts, OCL, behavioral models, formalization, dynamic models, object-oriented design metrics |
18 | Rajeev Alur, David Arney, Elsa L. Gunter, Insup Lee 0001, Jaime Lee, Wonhong Nam, Frederick Pearce, Stephen Van Albert, Jiaxiang Zhou |
Formal specifications and analysis of the computer-assisted resuscitation algorithm (CARA) Infusion Pump Control System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Softw. Tools Technol. Transf. ![In: Int. J. Softw. Tools Technol. Transf. 5(4), pp. 308-319, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
CARA system, Requirements formalization, Formal methods, Safety-critical systems, Software verification |
18 | Moreno Andreatta, D. T. Vuza, Carlos Agón |
On some theoretical and computational aspects of Anatol Vieru's periodic sequences. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Soft Comput. ![In: Soft Comput. 8(9), pp. 588-596, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
Algebraic formalization, Finite difference calculus on groups, Decomposition, Periodic sequences |
18 | Frank M. Shipman III, Hao-wei Hsieh, J. Michael Moore, Anna Zacchi |
Supporting personal collections across digital libraries in spatial hypertext. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JCDL ![In: ACM/IEEE Joint Conference on Digital Libraries, JCDL 2004, Tucson, AZ, USA, June 7-11, 2004, Proceedings, pp. 358-367, 2004, ACM, 1-58113-832-6. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
collection organization, information visualization, metadata, spatial hypertext, incremental formalization, information triage |
18 | Béchir el Ayeb |
Fault Identification in System-Level Diagnosis: a Logic-Based Framework and an O(n2sqrt(tau/log n) Algorithm. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Algorithmica ![In: Algorithmica 33(2), pp. 129-149, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
Fault identification algorithms, Logic-based deduction, Complexity, Graph, Diagnosis, Formalization, System-level diagnosis |
18 | Philipp Obreiter, Guntram Gräf |
Towards scalability in tuple spaces. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAC ![In: Proceedings of the 2002 ACM Symposium on Applied Computing (SAC), March 10-14, 2002, Madrid, Spain, pp. 344-350, 2002, ACM, 1-58113-445-2. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
scalability, distribution, formalization, tuple spaces |
18 | Frank M. Shipman III, J. Michael Moore, Preetam Maloor, Hao-wei Hsieh, Raghu Akkapeddi |
Semantics happen: knowledge building in spatial hypertext. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Hypertext ![In: HYPERTEXT 2002, Proceedings of the 13th ACM Conference on Hypertext and Hypermedia, June 11-15, 2002, University of Maryland, College Park, MD, USA, pp. 25-34, 2002, ACM, 1-58113-477-0. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
mixed-initiative dialogs, spatial parser, suggestion-based interfaces, visual language, spatial hypertext, incremental formalization |
18 | Mark S. Ackerman, David W. McDonald |
Collaborative Support for Informal Information in Collective Memory Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Syst. Frontiers ![In: Inf. Syst. Frontiers 2(3), pp. 333-347, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
community memory, informal information, information refining, collaborative help, information retrieval, computer-supported cooperative work, CSCW, information systems, CMC, computer-mediated communications, information access, organizational memory, help, group memory, corporate memory, incremental formalization |
18 | Cecilia Mascolo |
Specification, Analysis, and Prototyping of Mobile Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSE ![In: Proceedings of the 1999 International Conference on Software Engineering, ICSE' 99, Los Angeles, CA, USA, May 16-22, 1999., pp. 724-725, 1999, ACM, 1-58113-074-0. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
verification, prototyping, formalization, mobile code |
18 | Christine Neuwirth, James H. Morris, Susan Harkness Regli, Ravinder Chandhok, Geoffrey C. Wenger |
Envisioning Communication: Task-Tailorable Representations of Communication in Asynchronous Work. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSCW ![In: CSCW '98, Proceedings of the ACM 1998 Conference on Computer Supported Cooperative Work, Seattle, WA, USA, November 14-18, 1998, pp. 265-274, 1998, ACM, 1-58113-009-0. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
visualization, interfaces, awareness, collaborative work, asynchronous communication, electronic mail, incremental formalization, external representations |
18 | Jan-Willem G. M. Hubbers, Arthur H. M. ter Hofstede |
An Algebraic Semantics for Object-Oriented Behaviour Modeling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Australian Software Engineering Conference ![In: 1996 Australian Software Engineering Conference (ASWEC '96), July 14-18, 1996, Melbourne, Australia, pp. 4-15, 1996, IEEE Computer Society, 0-8186-7635-3. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
Objectory, OOSE, Communication, Object-Orientation, Process Algebra, Formalization, Behaviour |
18 | Richard J. Mayer, Madhav Erraguntla, Christopher Menzel, Jyh Chen Hwang |
Formal model of single agent planning situations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Syst. Integr. ![In: J. Syst. Integr. 4(3), pp. 219-241, 1994. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
Single agent planning, ontology, knowledge representation, formalization |
18 | Gerhard Fischer, Raymond McCall, Jonathan L. Ostwald, Brent Reeves, Frank M. Shipman III |
Seeding, evolutionary growth and reseeding: supporting the incremental development of design environments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CHI ![In: Conference on Human Factors in Computing Systems, CHI 1994, Boston, Massachusetts, USA, April 24-28, 1994, Proceedings, pp. 292-298, 1994, ACM, 0-89791-650-6. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
domain-orientation, end-user modifiability, evolution of information spaces, annotation, collaborative design, tacit knowledge, design environments, situated cognition, seeds, reseeding, incremental formalization |
18 | Michel Wermelinger, José Gabriel Lopes |
Basic Conceptual Structures Theory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCS ![In: Conceptual Structures: Current Practices, Second International Conference on Conceptual Structures, ICCS '94, College Park, Maryland, USA, August 16-20, 1994, Proceedings, pp. 144-159, 1994, Springer, 3-540-58328-9. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
Key phrases formalization of CS theory, higher-order concept and relation types, type and marker hierarchies, metalevel and instance level |
18 | Teresa F. Lunt, Dorothy E. Denning, Roger R. Schell, Mark R. Heckman, William R. Shockley |
The SeaView Security Model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 16(6), pp. 593-607, 1990. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
policy formalization, new data, SeaView security model, clearances, mandatory security, standard relational model, multilevel relations, discretionary security, application-independent properties, entity integrity, polyinstantiation integrity, classifications, software engineering, relational databases, security of data, users, labeling, data consistency, reference monitor, formal security model, referential integrity, derived data, multilevel database |
14 | Albrecht Schmidt 0001 |
Engineering interactive ubiquitous computing systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EICS ![In: Proceedings of the 3rd ACM SIGCHI Symposium on Engineering Interactive Computing System, EICS 2011, Pisa, Italy, June 13-16, 2011, pp. 229-230, 2011, ACM, 978-1-4503-0670-6. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
14 | Angelina Espinoza, Goetz Botterweck, Juan Garbajosa |
A formal approach to reuse successful traceability practices in SPL projects. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAC ![In: Proceedings of the 2010 ACM Symposium on Applied Computing (SAC), Sierre, Switzerland, March 22-26, 2010, pp. 2352-2359, 2010, ACM, 978-1-60558-639-7. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
feature configuration, traceability metamodeling, traceability methodology, software product lines, knowledge reuse, product derivation |
14 | Nicholas J. Hopper, Luis von Ahn, John Langford 0001 |
Provably Secure Steganography. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Computers ![In: IEEE Trans. Computers 58(5), pp. 662-676, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
14 | Hendrik Tews, Marcus Völp, Tjark Weber |
Formal Memory Models for the Verification of Low-Level Operating-System Code. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Autom. Reason. ![In: J. Autom. Reason. 42(2-4), pp. 189-227, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Micro-hypervisor, Memory-mapped devices, Formal verification, Virtual memory, Operating-system kernel |
14 | Dong Xu, Huaikou Miao, Nduwimfura Philbert |
Model Checking UML Activity Diagrams in FDR. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACIS-ICIS ![In: 8th IEEE/ACIS International Conference on Computer and Information Science, IEEE/ACIS ICIS 2009, June 1-3, 2009, Shanghai, China, pp. 1035-1040, 2009, IEEE Computer Society, 978-0-7695-3641-5. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
14 | Leonid Kof |
Translation of Textual Specifications to Automata by Means of Discourse Context Modeling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
REFSQ ![In: Requirements Engineering: Foundation for Software Quality, 15th International Working Conference, REFSQ 2009, Amsterdam, The Netherlands, June 8-9, 2009, Proceedings, pp. 197-211, 2009, Springer, 978-3-642-02049-0. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
behavior extraction, natural language processing, requirements analysis, behavior modeling |
14 | Alessandro Lanza, Luigi Di Stefano, Luca Soffritti |
Bayesian Order-Consistency Testing with Class Priors Derivation for Robust Change Detection. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AVSS ![In: Sixth IEEE International Conference on Advanced Video and Signal Based Surveillance, AVSS 2009, 2-4 September 2009, Genova, Italy, pp. 460-465, 2009, IEEE Computer Society, 978-0-7695-3718-4. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
14 | Martin Tröschel, Hans-Jürgen Appelrath |
Towards Reactive Scheduling for Large-Scale Virtual Power Plants. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MATES ![In: Multiagent System Technologies, 7th German Conference, MATES 2009, Hamburg, Germany, September 9-11, 2009. Proceedings, pp. 141-152, 2009, Springer, 978-3-642-04142-6. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
14 | Marco Brambilla 0001, Christina Tziviskou |
An Online Platform for Semantic Validation of UML Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICWE ![In: Web Engineering, 9th International Conference, ICWE 2009, San Sebastián, Spain, June 24-26, 2009, Proceedings, pp. 477-480, 2009, Springer, 978-3-642-02817-5. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
ontology, Semantic Web, UML, component, validation, conceptual modeling, pattern, reasoner, class diagram, WebML |
14 | Bas R. Steunebrink, Mehdi Dastani, John-Jules Ch. Meyer |
A Formal Model of Emotion-Based Action Tendency for Intelligent Agents. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EPIA ![In: Progress in Artificial Intelligence, 14th Portuguese Conference on Artificial Intelligence, EPIA 2009, Aveiro, Portugal, October 12-15, 2009. Proceedings, pp. 174-186, 2009, Springer, 978-3-642-04685-8. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
14 | Eduard Hoenkamp |
On the Notion of "An Information Need". ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTIR ![In: Advances in Information Retrieval Theory, Second International Conference on the Theory of Information Retrieval, ICTIR 2009, Cambridge, UK, September 10-12, 2009, Proceedings, pp. 354-357, 2009, Springer, 978-3-642-04416-8. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
14 | Sidi Ould Biha |
Finite Groups Representation Theory with Coq. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Calculemus/MKM ![In: Intelligent Computer Mathematics, 16th Symposium, Calculemus 2009, 8th International Conference, MKM 2009, Held as Part of CICM 2009, Grand Bend, Canada, July 6-12, 2009. Proceedings, pp. 438-452, 2009, Springer, 978-3-642-02613-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Maschke’s theorem, SSReflect, linear algebra, Coq, Representation theory |
14 | Marcus Alanen, Ivan Porres |
A metamodeling language supporting subset and union properties. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Softw. Syst. Model. ![In: Softw. Syst. Model. 7(1), pp. 103-124, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Redefinitions, Package merges, Extension mechanisms, Software modeling languages, UML, Graph theory, Graphs, Metamodeling, MOF, Subsets, Unions |
14 | Ariel Cohen 0004, Michael Kaminski, Johann A. Makowsky |
Notions of Sameness by Default and their Application to Anaphora, Vagueness, and Uncertain Reasoning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Log. Lang. Inf. ![In: J. Log. Lang. Inf. 17(3), pp. 285-306, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Herbrand models, Sorites, Rough Set Theory, Equality, Default Logic, Vagueness, Indistinguishability, Anaphora |
14 | Osman Hasan, Sofiène Tahar |
Using Theorem Proving to Verify Expectation and Variance for Discrete Random Variables. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Autom. Reason. ![In: J. Autom. Reason. 41(3-4), pp. 295-323, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Coupon collector’s problem, Probabilistic analysis, Higher-order-logic, Probability theory, Statistical properties, HOL theorem prover |
14 | Florian Kammüller |
Formalizing non-interference for a simple bytecode language in Coq. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Aspects Comput. ![In: Formal Aspects Comput. 20(3), pp. 259-275, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Formal methods for security, Programming language analysis, Interactive theorem proving, Modular specification |
14 | Daniel Leivant |
Reasoning in Dynamic Logic about Program Termination. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Pillars of Computer Science ![In: Pillars of Computer Science, Essays Dedicated to Boris (Boaz) Trakhtenbrot on the Occasion of His 85th Birthday, pp. 441-456, 2008, Springer, 978-3-540-78126-4. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
14 | Anton Bogdanovych, Simeon J. Simoff, Marc Esteva |
Virtual Institutions: Normative Environments Facilitating Imitation Learning in Virtual Agents. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IVA ![In: Intelligent Virtual Agents, 8th International Conference, IVA 2008, Tokyo, Japan, September 1-3, 2008. Proceedings, pp. 456-464, 2008, Springer, 978-3-540-85482-1. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
14 | Artem Chebotko, Seunghan Chang, Shiyong Lu, Farshad Fotouhi, Ping Yang 0002 |
Scientific Workflow Provenance Querying with Security Views. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WAIM ![In: The Ninth International Conference on Web-Age Information Management, WAIM 2008, July 20-22, 2008, Zhangjiajie, China, pp. 349-356, 2008, IEEE Computer Society, 978-0-7695-3185-4. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
14 | Kirsten Schlüter, Torsten Brinda |
Characteristics and dimensions of a competence model of theoretical computer science in secondary education. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ITiCSE ![In: Proceedings of the 13th Annual SIGCSE Conference on Innovation and Technology in Computer Science Education, ITiCSE 2008, Madrid, Spain, June 30 - July 2, 2008, pp. 367, 2008, ACM, 978-1-60558-078-4. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
characteristics of task difficulty, competence profiles, secondary computer science education, educational standards, competence model, didactics of informatics, theoretical computer science |
14 | Pau Fonseca |
SDL distributed simulator. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WSC ![In: Proceedings of the 2008 Winter Simulation Conference, Global Gateway to Discovery, WSC 2008, InterContinental Hotel, Miami, Florida, USA, December 7-10, 2008, pp. 2943, 2008, WSC, 978-1-4244-2708-6. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
14 | Elena Cardillo, Claudio Eccher, Luciano Serafini, Andrei Tamilin |
Logical Analysis of Mappings between Medical Classification Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AIMSA ![In: Artificial Intelligence: Methodology, Systems, and Applications, 13th International Conference, AIMSA 2008, Varna, Bulgaria, September 4-6, 2008. Proceedings, pp. 311-321, 2008, Springer, 978-3-540-85775-4. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Medical Classification Systems, ICPC-ICD, Mapping, Reasoning, Medical Informatics |
14 | Christoph Wernhard |
Literal Projection for First-Order Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JELIA ![In: Logics in Artificial Intelligence, 11th European Conference, JELIA 2008, Dresden, Germany, September 28 - October 1, 2008. Proceedings, pp. 389-402, 2008, Springer, 978-3-540-87802-5. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
Displaying result #101 - #200 of 3158 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ 11][ >>] |
|