2520 search results - page 285 / 504 » Model-checking behavioral programs |
114
Voted
ICFP
1999
ACM
15 years 7 months ago
1999
ACM
Many properties of parametric, polymorphic functions can be determined simply by inspection of their types. Such results are usually proven using Reynolds's parametricity the...
110
Voted
AADEBUG
1997
Springer
15 years 6 months ago
1997
Springer
I present a general framework for observing and controlling a distributed computation and its applications to distributed debugging. Algorithms for observation are useful in distr...
139
Voted
ECOOP
2007
Springer
15 years 6 months ago
2007
Springer
In this chapter, we explore the emerging research domain of modeldriven software refactoring. Program refactoring is a proven technique that aims at improving the quality of sourc...
93
Voted
IADIS
2003
15 years 4 months ago
2003
View Programming offers software developers a way to write applications having real objects with changing behavior during their lifetime. The benefit of this new approach of progr...
159
Voted
GPEM
2010
15 years 1 months ago
2010
A distributed data mining algorithm to improve the detection accuracy when classifying malicious or unauthorized network activity is presented. The algorithm is based on genetic p...