5664 search results - page 312 / 1133 » Creativity support tools |
167
click to vote
BPM
2008
Springer
15 years 8 months ago
2008
Springer
This work presents an auto-completion mechanism for supporting the creation of executable business process models. Currently, process modeling tools provide only little support to ...
151
click to vote
FM
2009
Springer
16 years 1 months ago
2009
Springer
We examine the the industrial application of formal methods using data gathered in a review of 62 projects taking place over the last 25 years. The review suggests that formal meth...
176
click to vote
ADAEUROPE
1997
Springer
15 years 11 months ago
1997
Springer
The systematic test is an inevitable part of the verification and validation process for software. Overall support for all testing activities is currently not available in a singl...
117
Voted
ICALT
2006
IEEE
16 years 22 days ago
2006
IEEE
This paper describes the integration of the Conzilla concept browser and the Confolio portfolio management system with the FlashMeeting videoconferencing tool. The result of this ...
167
click to vote
ICMCS
2005
IEEE
16 years 8 days ago
2005
IEEE
User authored stories will always be the best stories, and authoring tools will continue to be developed. However, a digital lifetime capture permits storytelling via a lightweigh...