110 search results - page 19 / 22 » General Software Competency: Is There Still a Need for Softw... |
ZUM
1997
Springer
13 years 11 months ago
1997
Springer
We present a new formal OO method, called FOX, which is a synergetic combination of the semi-formal Fusion method and the formal specification language Object-Z. To manage complex...
ASPLOS
2011
ACM
12 years 11 months ago
2011
ACM
Deterministic replay systems record and reproduce the execution of a hardware or software system. In contrast to replaying execution on uniprocessors, deterministic replay on mult...
DAC
2002
ACM
14 years 8 months ago
2002
ACM
We have developed a generic integer linear programming(ILP)based engineering change(EC) methodology. The EC methodology has three components: enabling, fast, and preserving. Enabl...
ANCS
2008
ACM
13 years 9 months ago
2008
ACM
Today's routers need to perform packet classification at wire speed in order to provide critical services such as traffic billing, priority routing and blocking unwanted Inte...
SIGUCCS
2006
ACM
14 years 1 months ago
2006
ACM
As technology permeates more aspects of our everyday lives, greater demands are placed on information technology personnel. Lehigh University computing consultants have found thei...