7380 search results - page 1349 / 1476 » Engineering Software Intensive Systems |
165
Voted
ICSE
1999
IEEE-ACM
15 years 7 months ago
1999
IEEE-ACM
This paper describes how we have extended a module structure of the Smalltalk LearningWorks to provide a programming environment deigned for very large scale technology transfer. ...
97
Voted
FSTTCS
1993
Springer
15 years 6 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...
158
Voted
AOSD
2009
ACM
15 years 6 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...
140
Voted
CGO
2009
IEEE
15 years 6 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...
130
Voted
COMSWARE
2007
IEEE
15 years 6 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...