963 search results - page 96 / 193 » Formal Analysis of BPMN Models Using Event-B |
127
click to vote
CODES
2008
IEEE
15 years 8 months ago
2008
IEEE
The heterogeneity of modern MPSoC architectures, coupled with the increasing complexity of the applications mapped onto them has recently led to a lot of interest in hybrid perfor...
109
click to vote
IASSE
2004
15 years 2 months ago
2004
Latest research results have shown that requirements errors have a prolonged impact on software development and that they are more expensive to fix during later stages than early ...
140
click to vote
TACS
2001
Springer
15 years 5 months ago
2001
Springer
The state of the practice in object-oriented software development has moved beyond reuse of code to reuse of conceptual structures such as design patterns. This paper draws attenti...
152
click to vote
CORR
2011
Springer
14 years 8 months ago
2011
Springer
Coecke, Sadrzadeh, and Clark [3] developed a compositional model of meaning for distributional semantics, in which each word in a sentence has a meaning vector and the distributio...
119
click to vote
DAC
2007
ACM
16 years 2 months ago
2007
ACM
An effective method for focusing optimization effort on the most important parts of a design is to examine those elements on the critical path. Traditionally, the critical path is...