2562 search results - page 225 / 513 » The Use of B2B Process Standards: A Case Study |
169
click to vote
SAFECOMP
2007
Springer
16 years 23 days ago
2007
Springer
Abstract. Esterel Technologies’ SCADE Suite is one of the most important development tools for software for safety-critical systems. It is used for designing many critical compon...
180
click to vote
IPPS
2003
IEEE
15 years 12 months ago
2003
IEEE
Load balancing is a key concern when developing parallel and distributed computing applications. The emergence of computational grids extends this problem, where issues of cross-d...
207
click to vote
ESEC
1997
Springer
15 years 10 months ago
1997
Springer
The software architecture of a distributed program can be represented by a hierarchical composition of subsystems, with interacting processes at the leaves of the hierarchy. Compo...
227
click to vote
LWA
2008
15 years 8 months ago
2008
Information extraction is concerned with the location of specific items in (unstructured) textual documents, e.g., being applied for the acquisition of structured data. Then, the ...
215
Voted
ICST
2009
IEEE
15 years 4 months ago
2009
IEEE
Bounded model checking--as well as symbolic equivalence checking--are highly successful techniques in the hardware domain. Recently, bit-vector bounded model checkers like CBMC ha...