4325 search results - page 634 / 865 » Incremental computation with names |
228
click to vote
GG
2008
Springer
15 years 7 months ago
2008
Springer
Behavior preservation, namely the fact that the behavior of a model is not altered by the transformations, is a crucial property in refactoring. The most common approaches to behav...
171
click to vote
GPC
2008
Springer
15 years 7 months ago
2008
Springer
Nowadays workflow systems are widely deployed around the world, especially within large international corporations. Thus the performance evaluation of these workflow systems becom...
156
click to vote
HASKELL
2008
ACM
15 years 7 months ago
2008
ACM
Protecting confidentiality of data has become increasingly important for computing systems. Information-flow techniques have been developed over the years to achieve that purpos...
158
click to vote
CHI
2010
ACM
15 years 6 months ago
2010
ACM
This paper clarifies two common patterns of multitasking on the Web, namely Multiple Tasks (MT) and Multiple Session Task (MST). To support both of these, the task concept needs t...
158
click to vote
SIGECOM
2010
ACM
15 years 6 months ago
2010
ACM
In the traditional voting manipulation literature, it is assumed that a group of manipulators jointly misrepresent their preferences to get a certain candidate elected, while the ...