3653 search results - page 260 / 731 » On Recognizable Timed Languages |
173
click to vote
ISCIS
2004
Springer
16 years 19 days ago
2004
Springer
Abstract. We present a performance modelling case study of a distributed multi-player game expressed in the PEPA nets modelling language. The case study provides a modern complex d...
190
click to vote
PADL
2004
Springer
16 years 19 days ago
2004
Springer
Temporal media is information that is directly consumed by a user, and that varies with time. Examples include music, digital sound files, computer animations, and video clips. I...
169
click to vote
SEMWEB
2004
Springer
16 years 18 days ago
2004
Springer
Faceted classification allows one to model applications with complex classification hierarchies using orthogonal dimensions. Recent work has examined the use of faceted classi...
231
click to vote
HOTOS
2003
IEEE
16 years 17 days ago
2003
IEEE
Two big problems with operating systems written in unsafe languages are that they crash too often and that adding features becomes much more difficult over time. One cause of bot...
217
click to vote
ERLANG
2003
ACM
16 years 16 days ago
2003
ACM
In this paper, some experiences of using the concurrent functional language Erlang to implement a classical vertical application, a risk management information system, are present...