1890 search results - page 119 / 378 » Model-Based Testing in Practice |
177
click to vote
IEEESCC
2005
IEEE
15 years 12 months ago
2005
IEEE
Two practical paradigms are presented, which facilitate domain concepts to be directly used to model business operations: the first paradigm is based on the business artifacts and...
119
click to vote
ISCAS
2005
IEEE
15 years 12 months ago
2005
IEEE
— Compared with a single level Hamming associative memory, a simple model based on uniform random noise analysis has proved a twolevel decoupled Hamming network to be an efficie...
141
click to vote
PPOPP
2005
ACM
15 years 12 months ago
2005
ACM
Writing concurrent programs is notoriously difficult, and is of increasing practical importance. A particular source of concern is n correctly-implemented concurrency abstraction...
171
click to vote
GD
2005
Springer
15 years 12 months ago
2005
Springer
Widely varying node degrees occur in software dependency graphs, hyperlink structures, social networks, and many other real-world graphs. Finding dense subgraphs in such graphs is ...
157
click to vote
ISAS
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. We present formal and practical foundations for Web service composition framework with composition correctness guarantees. We introduce contractual composition model base...