1855 search results - page 75 / 371 » System Consequence |
122
Voted
IWPSE
2003
IEEE
15 years 8 months ago
2003
IEEE
In modern software engineering, researchers regard a software system as an organic life form that must continue to evolve to remain successful. Unfortunately, little is known abou...
115
Voted
PLDI
1995
ACM
15 years 7 months ago
1995
ACM
EEL (Executable Editing Library) is a library for building tools to analyze and modify an executable (compiled) program. The systems and languages communities have built many tool...
152
click to vote
SLOGICA
1998
15 years 3 months ago
1998
We present and discuss various formalizations of Modal Logics in Logical Frameworks based on Type Theories. We consider both Hilbert- and Natural Deductionstyle proof systems for ...
147
Voted
IJKESDP
2010
15 years 1 months ago
2010
Abstract— We previously proposed evolutionary fuzzy systems of playing Ms.PacMan for the competitions. As a consequence of the evolution, reflective action rules such that PacMa...
181
Voted
FATES
2006
Springer
15 years 7 months ago
2006
Springer
Abstract. More and more software systems use a browser as the universal graphical user interface. As a consequence these applications inherit browser navigation as part of their in...