2211 search results - page 267 / 443 » Comparing Approaches to Implement Feature Model Composition |
DEXA
2008
Springer
13 years 10 months ago
2008
Springer
Recently, a variety of workflow patterns has been proposed focusing on specific aspects like control flow, data flow, and resource assignments. Though these patterns are relevant f...
APN
2008
Springer
13 years 11 months ago
2008
Springer
Model checking is a powerful and widespread technique for the verification of finite distributed systems. However, the main hindrance for wider application of this technique is the...
FECS
2006
13 years 10 months ago
2006
Program plagiarism is one of the most significant problems in Computer Science education. Most common plagiarism includes modifying comments, reordering statements, and changing v...
SPIN
2010
Springer
13 years 7 months ago
2010
Springer
Directed model checking is a well-established technique to efficiently tackle the state explosion problem when the aim is to find error states in concurrent systems. Although dir...
ISLPED
2010
ACM
13 years 7 months ago
2010
ACM
Abstract--As a replacement for the fast-fading GloballySynchronous model, we have defined a flexible design style called GRLS, for Globally-Ratiochronous, Locally-Synchronous, whic...