Sciweavers

1952 search results - page 95 / 391
» Integrating Pair Programming into a Software Development Pro...
Sort
View
ICWE
2010
Springer
15 years 4 months ago
Business Process Compliance through Reusable Units of Compliant Processes
Compliance management is essential for ensuring that organizational business processes and supporting information systems are in accordance with a set of prescribed requirements or...
David Schumm, Oktay Türetken, Natallia Kokash...
CCE
2004
15 years 6 months ago
Towards integrated information models for data and documents
Numerous approaches to information modeling exist within chemical engineering representing product data, work processes, or other information. These models have a limited scope an...
Birgit Bayer, Wolfgang Marquardt
149
Voted
ACSAC
2005
IEEE
15 years 11 months ago
Model Checking An Entire Linux Distribution for Security Violations
Software model checking has become a popular tool for verifying programs’ behavior. Recent results suggest that it is viable for finding and eradicating security bugs quickly. ...
Benjamin Schwarz, Hao Chen, David Wagner, Jeremy L...
CL
2007
Springer
15 years 6 months ago
A bulk-synchronous parallel process algebra
The CCS (Calculus of Communicating Systems) process algebra is a well-known formal model of synchronization and communication. It is used for the analysis of safety and liveness i...
Armelle Merlin, Gaétan Hains
BPM
2004
Springer
144views Business» more  BPM 2004»
15 years 11 months ago
Cohesion and Coupling Metrics for Workflow Process Design
Workflow designers experience considerable freedom in designing the smaller steps (or activities) within a process. An operational notion of activity cohesion and coupling may help...
Hajo A. Reijers, Irene T. P. Vanderfeesten