1438 search results - page 88 / 288 » An Expressive Extension of TLC |
164
click to vote
HPCC
2010
Springer
15 years 6 months ago
2010
Springer
The divide-and-conquer pattern of parallelism is a powerful approach to organize parallelism on problems that are expressed naturally in a recursive way. In fact, recent tools such...
131
click to vote
FUIN
2008
15 years 6 months ago
2008
Policies are used to describe rules that are employed to modify (often distributed) system behaviour at runtime. Typically policies are created by many different people and there a...
197
click to vote
IGPL
2006
15 years 6 months ago
2006
Abstract. This paper addresses the problem of establishing temporal properties of programs written in languages, such as Java, that make extensive use of the heap to allocate-and d...
171
click to vote
ITA
2007
15 years 6 months ago
2007
Abstract. This paper analyses the complexity of model checking Fixpoint Logic with Chop – an extension of the modal µ-calculus with a sequential composition operator. It uses tw...
184
click to vote
JDWM
2007
15 years 6 months ago
2007
Association rule mining is a popular task that involves the discovery of co-occurences of items in transaction databases. Several extensions of the traditional association rule mi...