2253 search results - page 183 / 451 » An Approach to Specifying Software Frameworks |
118
click to vote
HICSS
2009
IEEE
15 years 8 months ago
2009
IEEE
Automated acceptance testing is a new and promising agile testing approach. Fit is the most established technical framework for specifying and executing acceptance tests which, id...
138
click to vote
HICSS
2002
IEEE
15 years 9 months ago
2002
IEEE
Workflow Management Systems need to support organizations adapt their workflows to meet changing environments and business processes. We propose a traceability based knowledge man...
116
click to vote
FSTTCS
2009
Springer
15 years 11 months ago
2009
Springer
We present a symbolic framework for refinement and composition of security protocols. ework uses the notion of ideal functionalities. These are abstract systems which are secure b...
148
click to vote
WORDS
2003
IEEE
15 years 9 months ago
2003
IEEE
Despite of the proliferation of object-oriented and component technology, their application to real-time operating systems (RTOS) has been limited since most design concerns in RT...
118
click to vote
ATAL
2010
Springer
15 years 5 months ago
2010
Springer
To adequately deal with the unpredictable and dynamic environments normative frameworks are typically deployed in, mechanisms for modifying the norms at runtime are crucial. We pr...