7202 search results - page 1313 / 1441 » Software System Engineering: A Tutorial |
119
click to vote
FSTTCS
1993
Springer
15 years 9 months ago
1993
Springer
A for-loop is somewhat similar to an inductive argument. Just as the truth of a proposition P(n + 1) depends on the truth of P(n), the correctness of iteration n+1 of a for-loop de...
184
click to vote
AOSD
2009
ACM
15 years 9 months ago
2009
ACM
Some security concerns are sensitive to flow of information in a program execution. The dataflow pointcut has been proposed by Masuhara and Kawauchi in order to easily implement s...
160
Voted
CGO
2009
IEEE
15 years 9 months ago
2009
IEEE
Message passing is a very popular style of parallel programming, used in a wide variety of applications and supported by many APIs, such as BSD sockets, MPI and PVM. Its importance...
155
click to vote
COMSWARE
2007
IEEE
15 years 9 months ago
2007
IEEE
The Border Gateway Protocol (BGP) is the standard protocol for exchanging routing information between border routers of Autonomous Systems (ASes) in today's Internet. Within a...
146
click to vote
COMSWARE
2007
IEEE
15 years 9 months ago
2007
IEEE
This paper proposes a middleware to reduce the and consistency are usually poor since they depend on cell consumption of network resources and optimize the provision of size; GPS t...