Sciweavers

2050 search results - page 53 / 410
» A formal foundation for process modeling
Sort
View
ICALT
2007
IEEE
16 years 19 days ago
Adapting health care competencies to a formal competency model
Health professions education has moved away from process-based curricula to competency-based curricula. Machine readable and processable health care competencies are still embryon...
Onjira Sitthisak, Lester Gilbert, Hugh C. Davis, M...
AGILEDC
2007
IEEE
16 years 19 days ago
The Role of Incremental Change in Agile Software Processes
This paper presents a model of incremental change that consists of concept location, impact analysis, actualization, change propagation, supporting refactorings, and testing. Repe...
Neal Febbraro, Václav Rajlich
WETICE
1998
IEEE
15 years 10 months ago
A Deontic Formalism for Co-ordinating Software Development in Virtual Software Corporations
The concept of the Virtual Software Corporation (VSC) has recently become a practical reality as a result of advances in communication and distributed technologies. However, there...
Zsolt Haag, Richard Foley, Julian Newman
CAISE
2007
Springer
15 years 10 months ago
Formalization and Verification of EPCs with OR-Joins Based on State and Context
The semantics of the OR-join in business process modeling languages like EPCs or YAWL have been discussed for a while. Still, the existing solutions suffer from at least one of two...
Jan Mendling, Wil M. P. van der Aalst
ENTCS
2007
110views more  ENTCS 2007»
15 years 6 months ago
A Bayesian Model for Event-based Trust
The application scenarios envisioned for ‘global ubiquitous computing’ have unique requirements that are often incompatible with traditional security paradigms. One alternativ...
Mogens Nielsen, Karl Krukow, Vladimiro Sassone