4196 search results - page 78 / 840 » Supporting the development of network programs |
126
click to vote
LPAR
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. The mechanisation of proofs for probabilistic systems is particularly challenging due to the verification of real-valued properties that probability entails: experience ...
117
click to vote
TOOLS
1998
IEEE
15 years 7 months ago
1998
IEEE
Object-orientation has rapidly become accepted as the preferred paradigm for large scale system design. There is considerable literature describing approaches to object-oriented d...
JOT
2006
15 years 3 months ago
2006
An important aim in the design of the Timor programming language is to provide programmers with features which enable them to build complex systems from components which can be de...
125
click to vote
INDIASE
2009
ACM
15 years 8 months ago
2009
ACM
With the rapid increase in offshore outsourcing of software development, Global Software Development (GSD) has become the need of the hour. Today’s information technology, in th...
127
click to vote
WETICE
1998
IEEE
15 years 7 months ago
1998
IEEE
The concept of the Virtual Software Corporation (VSC) has recently become a practical reality as a result of advances in communication and distributed technologies. However, there...