963 search results - page 92 / 193 » Formal Analysis of BPMN Models Using Event-B |
125
click to vote
CIKM
2011
Springer
14 years 1 months ago
2011
Springer
In this paper, we reveal a common deficiency of the current retrieval models: the component of term frequency (TF) normalization by document length is not lower-bounded properly;...
109
click to vote
REFSQ
2009
Springer
15 years 8 months ago
2009
Springer
Abstract. [Context and motivation] Ever-growing systems’ complexity and novel requirements engineering approaches such as reuse or globalization imply that requirements are produ...
113
click to vote
ICARIS
2009
Springer
15 years 8 months ago
2009
Springer
As one of the newest members in Artificial Immune Systems (AIS), the Dendritic Cell Algorithm (DCA) has been applied to a range of problems. These applications mainly belong to th...
127
click to vote
CCS
2007
ACM
15 years 7 months ago
2007
ACM
In measuring the overall security of a network, a crucial issue is to correctly compose the measure of individual components. Incorrect compositions may lead to misleading results...
101
click to vote
ISOLA
2010
Springer
14 years 11 months ago
2010
Springer
Abstract. The complexity of today's embedded systems and their development trajectories requires a systematic, model-driven design approach, supported by tooling wherever poss...