2226 search results - page 185 / 446 » Pdk: The System and Its Language |
163
click to vote
IFIP
2004
Springer
15 years 12 months ago
2004
Springer
A term terminates if all its reduction sequences are of finite length. We show four type systems that ensure termination of well-typed π-calculus processes. The systems are obtai...
209
click to vote
GLOBECOM
2008
IEEE
15 years 6 months ago
2008
IEEE
Security is a critical issue in dynamic and open distributed environments such as network-based services or wireless networks. To ensure that a certain level of security is maintai...
138
click to vote
CORR
2010
Springer
15 years 6 months ago
2010
Springer
Software that cannot evolve is condemned to atrophy: it cannot accommodate the constant revision and renegotiation of its business goals nor intercept the potential of new technol...
189
click to vote
ECRTS
2000
IEEE
15 years 11 months ago
2000
IEEE
This paper describes a methodology for the development of real-time systems and shows its application to the modeling, analysis and implementation of distributed multimedia system...
175
click to vote
INLG
2004
Springer
15 years 12 months ago
2004
Springer
Ambiguity in the output is a concern for NLG in general. This paper considers the case of structural ambiguity in spoken language generation. We present an algorithm which inserts ...