10159 search results - page 275 / 2032 » System Design Validation Using Formal Models |
117
Voted
JAPLL
2010
15 years 1 months ago
2010
In this paper, several examples from the literature, and one central new one, are used as case studies of texts of discourse containing an argumentation scheme that has now been w...
105
click to vote
JCC
2006
15 years 3 months ago
2006
: We present a computational protein design algorithm for finding low-energy sequences of fixed amino acid composition. The search algorithms used in protein design typically do no...
114
click to vote
SEMWEB
2009
Springer
15 years 10 months ago
2009
Springer
There are different strategies to integrate software systems: integration on the data layer, on the business logic layer, and on the user interface layer. The latter area, recent...
108
click to vote
ICWE
2007
Springer
15 years 9 months ago
2007
Springer
Combining expressiveness and plainness in the design of web documents is a difficult task. Validation languages are very powerful and designers are tempted to over-design specific...
120
click to vote
CSCW
1996
ACM
15 years 7 months ago
1996
ACM
In order to understand some problems associated with workflow, we set out an analysis of workflow systems, identifying a number of basic issues in the underlying technology. This ...