722 search results - page 73 / 145 » A New Framework for Computer Science and Engineering |
FOSSACS
2001
Springer
15 years 6 months ago
2001
Springer
In a recent paper we introduced a new framework for the study of call by need computations. Using elementary tree automata techniques and ground tree transducers we obtained simple...
125
click to vote
ECOOP
2010
Springer
15 years 6 months ago
2010
Springer
Automated refactorings as implemented in modern IDEs for Java usually make no special provisions for concurrent code. Thus, refactored programs may exhibit unexpected new concurren...
139
click to vote
ICST
2010
IEEE
14 years 11 months ago
2010
IEEE
Mobile computing systems provide new challenges for verification. One of them is the dynamicity of the system structure, with mobility-induced connections and disconnections, dynam...
MSWIM
2005
ACM
15 years 7 months ago
2005
ACM
Developing network protocols for mobile wireless systems is a complex task, and most of the existing simulator frameworks are not well suited for experimental development. The YAE...
116
click to vote
DIS
2009
Springer
15 years 8 months ago
2009
Springer
Motivated by the need for unification of the domain of data mining and the demand for formalized representation of outcomes of data mining investigations, we address the task of c...