Sciweavers

3754 search results - page 150 / 751
» Process modeling paradigms: an evaluation
Sort
View
XPU
2007
Springer
14 years 4 months ago
Usability in Agile Software Development: Extending the Interaction Design Process with Personas Approach
The current agile software development methods do not seem to address usability and interaction design issues enough, i.e., the interaction design process may remain implicit. Howe...
Jukka Haikara
FM
2009
Springer
104views Formal Methods» more  FM 2009»
14 years 4 months ago
Verifying Information Flow Control over Unbounded Processes
Abstract. Decentralized Information Flow Control (DIFC) systems enable programmers to express a desired DIFC policy, and to have the policy enforced via a reference monitor that re...
William R. Harris, Nicholas Kidd, Sagar Chaki, Som...
DAMON
2007
Springer
14 years 4 months ago
A general framework for improving query processing performance on multi-level memory hierarchies
We propose a general framework for improving the query processing performance on multi-level memory hierarchies. Our motivation is that (1) the memory hierarchy is an important pe...
Bingsheng He, Yinan Li, Qiong Luo, Dongqing Yang
QEST
2005
IEEE
14 years 3 months ago
An approximation algorithm for labelled Markov processes: towards realistic approximation
Abstract— Approximation techniques for labelled Markov processes on continuous state spaces were developed by Desharnais, Gupta, Jagadeesan and Panangaden. However, it has not be...
Alexandre Bouchard-Côté, Norm Ferns, ...
EMISA
2005
Springer
14 years 3 months ago
An Approach to quantify the Costs of Business Process Intelligence
: Today, enterprises are forced to continuously optimize their business as well as service processes. In this context the process-centered alignment of information systems is cruci...
Bela Mutschler, Johannes Bumiller, Manfred Reicher...