7124 search results - page 144 / 1425 » Programming Languages and Operating Systems |
130
click to vote
ENTCS
2007
15 years 2 months ago
2007
Action Labelled transition systems (LTS) have proved to be a fundamental model for describing and proving properties of concurrent systems. In this paper,Multiple Labelled Transit...
132
Voted
ECBS
2007
IEEE
15 years 9 months ago
2007
IEEE
Model-driven engineering (MDE) techniques are increasingly being used to address many of the development and operational lifecycle concerns of large-scale component-based systems....
101
Voted
HOTOS
1999
IEEE
15 years 6 months ago
1999
IEEE
Several operating systems projects revolve around moving functionality above or below the kernel "red line" to increase flexibility or performance. We describe how a gen...
108
Voted
RTA
2004
Springer
15 years 8 months ago
2004
Springer
Over the past decade, researchers have found context-sensitive term-rewriting semantics to be powerful and expressive tools for modeling programming languages, particularly in esta...
115
Voted
WCRE
1998
IEEE
15 years 6 months ago
1998
IEEE
Types are a good starting point for various software reengineering tasks. Unfortunately, programs requiring reengineering most desperately are written in languages without an adeq...