1438 search results - page 88 / 288 » An Expressive Extension of TLC |
110
Voted
HPCC
2010
Springer
15 years 28 days 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...
76
Voted
FUIN
2008
15 years 24 days 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...
131
click to vote
IGPL
2006
15 years 22 days 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...
103
Voted
ITA
2007
15 years 19 days 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...
103
Voted
JDWM
2007
15 years 19 days 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...