1356 search results - page 234 / 272 » A variable-free dynamic semantics |
215
click to vote
FORMATS
2003
Springer
16 years 21 days ago
2003
Springer
Probabilistic timed automata, a variant of timed automata extended with discrete probability distributions, is a specification formalism suitable for describing both nondeterminis...
206
click to vote
IFIP
2003
Springer
16 years 20 days ago
2003
Springer
The Java Message Service (JMS) provides a standard asynchronous messaging API, which simplifies the construction of loosely coupled, distributed applications. This paper describes ...
155
click to vote
IPSN
2003
Springer
16 years 20 days ago
2003
Springer
This paper is concerned with coordinated delivery of messages in sensor networks. The notion of multicast is re-examined in light of a new set of requirements that are specific t...
198
Voted
ICNP
2002
IEEE
16 years 12 days ago
2002
IEEE
The Multi Exit Discriminator (MED) attribute of the Border Gateway Protocol (BGP) is widely used to implement “cold potato routing” between autonomous systems. However, the us...
173
click to vote
IWPC
2002
IEEE
16 years 12 days ago
2002
IEEE
While code understanding is the primary program comprehension activity, it is quite challenging to recognize the application requirements from code, since they have usually been o...