5343 search results - page 655 / 1069 » Keyword programming in java |
163
click to vote
ICALP
2000
Springer
15 years 10 months ago
2000
Springer
This report presents a formal approach to reducing sequences in PEPA components. Performing the described amalgamation procedure we may remove, from the underlying Markov chain, t...
167
click to vote
ICALP
2000
Springer
15 years 10 months ago
2000
Springer
Today many formalisms exist for specifying complex Markov chains. In contrast, formalism for specifying the quantitative properties to analyze have remained quite primitive. In th...
176
click to vote
ICDCSW
2000
IEEE
15 years 10 months ago
2000
IEEE
Model-checking has turned out to be an efficient and relatively easy-to-use technique in the verification of formally described programs. However, there is one major drawback in u...
171
Voted
ICSE
2000
IEEE-ACM
15 years 10 months ago
2000
IEEE-ACM
We demonstrate how XML and related technologies can be used for code mobility at any granularity, thus overcoming the restrictions of existing approaches. By not fixing a particul...
153
Voted
ICSE
2000
IEEE-ACM
15 years 10 months ago
2000
IEEE-ACM
Tools and environments to aid developers in producing software have existed, in one form or another, since the early days of computer programming. They are becoming increasingly c...