Search Results for "esc/p"

...It is also capable of enforcing/violating specific security properties on process traces, such as SoD/BoD, Unauthorized Access, Corrupted log entries, Skipped Activities. SecSy builds upon the following libraries, that have to be included in the projects' build path: - JAGAL: http://sourceforge.net/p/jagal - JAWL: http://sourceforge.net/p/jawl - SEPIA: http://sourceforge.net/p/sepiaframework - SERAM: http://sourceforge.net/p/seram - TOVAL: http://sourceforge.net/p/toval

Wolfgang is a lightweight tool that allows users to easily create and edit Petri nets and check them against general and workflow specific net properties. Specifically, Wolfgang supports full PNML conform editing functionality of Place-Transition Nets (P/T-Nets) and Colored Petri Nets (CPN) as they are defined in the SEPIA package. Its simple and easy to use interface allows to quickly create Petri nets from scratch, edit them graphically in many ways, store and even export them as PDFs. Use Wolfgang to smoothly create the Petri net you want! A user guide and a documentation can be found under http://doku.telematik.uni-freiburg.de/wolfgang.

...In order to specify security-related context information, SEWOL provides access control models such as access control lists (ACL) and role-based access control models (RBAC). SEWOL uses and encloses the following libraries: - TOVAL (http://sourceforge.net/p/toval), - JAGAL (http://sourceforge.net/p/jagal), - OpenXES (http://www.xes-standard.org/openxes/), - Spex (http://code.deckfour.org/Spex/) - Google Guava (https://github.com/google/guava), - xstream (http://xstream.codehaus.org/) and - graph-impl and visualization components of Jung 2 (http://jung.sourceforge.net/). Documentation: http://doku.telematik.uni-freiburg.de/sewol

...Highlights: * Open source solution * Collaborative & web based software * Multiproject focus * Real time planning * Collaborate with other companies * A comprehensive set of features Useful links: * Homepage: http://www.libreplan.com/ * On-line demo: http://demo.libreplan.org/ * Ask a question: http://ask.libreplan.org/ * Bugtracker: http://bugs.libreplan.org/ * IRC channel: http://webchat.freenode.net/?channels=#libreplan * Development wiki: http://wiki.libreplan.org/ * Mailing lists: http://sourceforge.net/p/libreplan/mailman/ * Source code: http://github.com/Igalia/libreplan

Healthcare Information System (EHR EMR PMS) for small hospitals and clinics. Scheduling, Orders, Meds, Pharmacy, Clinical Doc, HL7, Billing & more. Broad commercial support. Distributed clinical system written in pure Java with toolset to customize.

Localización para Venezuela del Proyecto ADempiere: Manejo de impuestos, formatos fiscales, nómina y recursos humanos, etc NOTA: Las contribuciones de Double Click Sistemas C.A. al proyecto de localización Venezuela se estarán haciendo a partir del 18-04-2012 en http://code.google.com/p/adempiere-lve-361/

While we were looking for a light-weight java based shop, we recognized that it's very difficult to find one. So we want to build one, based on our experiences. This project will provide a java based shopping cart system using mature technologies.