3706 search results - page 636 / 742 » The Transformational Approach to Program Development |
PPPJ
2006
ACM
14 years 1 months ago
2006
ACM
Today’s complex applications must face the distribution of data and code among different network nodes. Java is a wide-spread language that allows developers to build complex so...
SC
2005
ACM
14 years 1 months ago
2005
ACM
Performance prediction across platforms is increasingly important as developers can choose from a wide range of execution platforms. The main challenge remains to perform accurate...
SAINT
2003
IEEE
14 years 1 months ago
2003
IEEE
Before Feature Reduction System (FRS) was developed, software engineers were required to use multiple independent web-based information-reporting systems when conducting multiple ...
FCCM
2000
IEEE
14 years 10 days ago
2000
IEEE
Architectures that implement the Internet Protocol Security (IPSec) standard have to meet the enormous computing demands of cryptographic algorithms. In addition, IPSec architectu...
CONCUR
2000
Springer
14 years 8 days ago
2000
Springer
Model checking based on the causal partial order semantics of Petri nets is an approach widely applied to cope with the state space explosion problem. One of the ways to exploit su...