12459 search results - page 2366 / 2492 » cans 2006 |
162
click to vote
SCAM
2006
IEEE
16 years 29 days ago
2006
IEEE
Traditional program slicing requires two parameters: a program location and a variable, or perhaps a set of variables, of interest. Stop-list slicing adds a third parameter to the...
175
Voted
SCAM
2006
IEEE
16 years 29 days ago
2006
IEEE
Many articles and tools have been proposed over the years for mining design patterns from source code. These tools differ in several aspects, thus their fair comparison is hard. B...
262
click to vote
SECPERU
2006
IEEE
16 years 29 days ago
2006
IEEE
Ad hoc routing protocols have been designed to efficiently reroute traffic when confronted with network congestion, faulty nodes, and dynamically changing topologies. The common d...
184
click to vote
SEFM
2006
IEEE
16 years 29 days ago
2006
IEEE
We define a model of labelled product systems of automata and explore its connections with process calculi and trace languages. Bisimilarity of labelled product systems is defin...
250
Voted
SEW
2006
IEEE
16 years 29 days ago
2006
IEEE
Established software development processes focus on delivering software within time and budget according to a set of requirements. However, practical experiences show that neither...