5536 search results - page 425 / 1108 » Programming Languages for Distributed Applications |
317
click to vote
ECOOP
2009
Springer
16 years 7 months ago
2009
Springer
Model-based development promises to increase productivity by offering modeling languages tailored to a specific domain. Such modeling languages are typically defined by a metamodel...
183
click to vote
EDOC
2004
IEEE
15 years 10 months ago
2004
IEEE
To focus the comparison of languages for model checking and transformation on criteria that matter in practical development, there is an urgent need for more, and more realistic, ...
285
click to vote
ESOP
2004
Springer
16 years 8 days ago
2004
Springer
The Ambient calculus is a successful model of distributed, mobile computation, and has been the vehicle of new ideas for resource access control. Mobility types have been used to e...
157
click to vote
PLDI
1999
ACM
15 years 11 months ago
1999
ACM
Java class files are often distributed as jar files, which are collections of individually compressed class files (and possibility other files). Jar files are typically about...
192
click to vote
ESOP
2005
Springer
16 years 12 days ago
2005
Springer
Program slicing is a well-known methodology that aims at identifying the program statements that (potentially) affect the values computed at some point of interest. Within imperat...