942 search results - page 152 / 189 » Interrupt Timed Automata |
125
click to vote
ICFEM
2009
Springer
15 years 9 months ago
2009
Springer
Internet protocols encapsulate a significant amount of state, making implementing the host software complex. In this paper, we define the Statecall Policy Language (SPL) which pr...
138
click to vote
ANCS
2007
ACM
15 years 6 months ago
2007
ACM
The importance of network security has grown tremendously and a collection of devices have been introduced, which can improve the security of a network. Network intrusion detectio...
119
click to vote
DAGSTUHL
2007
15 years 3 months ago
2007
: This is a position paper introducing blob computing: A Blob is a generic primitive used to structure a uniform computing substrate into an easier-to-program parallel virtual mach...
113
click to vote
CORR
2006
Springer
15 years 2 months ago
2006
Springer
In probabilistic grammatical inference, a usual goal is to infer a good approximation of an unknown distribution P called a stochastic language. The estimate of P stands in some cl...
132
click to vote
FUIN
2007
15 years 2 months ago
2007
Devices of interconnected parallel acting sequential automata are investigated from a language theoretic point of view. Starting with the well-known result that each unary language...