3908 search results - page 565 / 782 » A model for service-oriented communication systems |
225
click to vote
DLT
2007
15 years 8 months ago
2007
Visibly Pushdown Automata (VPA) are a special case of pushdown machines where the stack operations are driven by the input. In this paper, we consider VPA with two stacks, namely 2...
185
click to vote
IJCAI
2003
15 years 8 months ago
2003
When a security incident occurs it is sometimes necessary to identify its causes for legal and cautionary purposes. In an attempt to hide the origin of her connection, a malicious...
206
click to vote
PDPTA
2003
15 years 8 months ago
2003
The paper begins by considering what a Grid Computing Environment might be, why it is demanded, and how the authors’ HPspmd programming fits into this picture. We then review o...
185
click to vote
IM
1997
15 years 8 months ago
1997
Telecommunications Management Network (TMN) systems use the object-oriented information modelling techniques and communication facilities provided by OSI Systems Management (SM). ...
194
click to vote
ENTCS
2008
15 years 7 months ago
2008
ion in PRISM1 Mark Kattenbelt Marta Kwiatkowska Gethin Norman David Parker Oxford University Computing Laboratory, Oxford, UK Modelling and verification of systems such as communi...