1700 search results - page 333 / 340 » Specifying and implementing refactorings |
109
click to vote
DC
2002
15 years 1 months ago
2002
Abstract. Casual message-logging protocols have several attractive properties: they introduce no blocking, send no additional messages over those sent by the application, and never...
135
click to vote
HEURISTICS
2000
15 years 1 months ago
2000
Planning and designing the next generation of IP router or switched broadband networks seems a daunting challenge considering the many complex, interacting factors affecting the p...
123
click to vote
JASIS
2000
15 years 1 months ago
2000
s In data mining, we emphasize the need for learning from huge, incomplete and imperfect data sets (Fayyad et al. 1996, Frawley et al. 1991, Piatetsky-Shapiro and Frawley, 1991). T...
128
Voted
SAC
2002
ACM
15 years 1 months ago
2002
ACM
Distributed cooperative engineering applications require consistent and long-term sharing of large volumes of data, which may cause conflicts due to concurrent read/write operatio...
136
click to vote
TCS
2002
15 years 1 months ago
2002
This paper explores the application of rewriting logic to the executable formal modeling of real-time and hybrid systems. We give general techniques by which such systems can be s...