1438 search results - page 198 / 288 » An Expressive Extension of TLC |
177
click to vote
ICSM
2006
IEEE
16 years 12 days ago
2006
IEEE
Facts extracted from source code have been used to support a variety of software engineering activities, ranging from architectural understanding, through detection of design patt...
191
click to vote
ISORC
2006
IEEE
16 years 12 days ago
2006
IEEE
Alias analysis is a method for extracting sets of expressions which may possibly refer to the same memory locations during program execution. Although many researchers have alread...
170
click to vote
ISSRE
2006
IEEE
16 years 12 days ago
2006
IEEE
BPEL is a language that could express complex concurrent behaviors. This paper presents a novel method of BPEL test case generation, which is based on concurrent path analysis. Th...
184
click to vote
HASKELL
2006
ACM
16 years 10 days ago
2006
ACM
Haskell’s type system with multi-parameter constructor classes and functional dependencies allows static (compile-time) computations to be expressed by logic programming on the ...
152
click to vote
IWCMC
2006
ACM
16 years 10 days ago
2006
ACM
— In this paper we focus on characterizing the average end-to-end delay and maximum achievable per-node throughput in random access multihop wireless ad hoc networks with station...