1733 search results - page 135 / 347 » On the naturalness of software |
162
click to vote
ER
2007
Springer
16 years 19 days ago
2007
Springer
An e-contract is a contract modeled, specified, executed, controlled and monitored by a software system. Econtract evolves over a period of time and there are many scenarios of ch...
180
click to vote
ESTIMEDIA
2007
Springer
16 years 19 days ago
2007
Springer
Embedded software design for MPSoC needs parallel programming. Popular programming languages such as C and C++ are not adequate for initial specification since they are designed f...
165
click to vote
VMCAI
2007
Springer
16 years 17 days ago
2007
Springer
Interpolation is an important component of recent methods for program verification. It provides a natural and effective means for computing separation between the sets of ‘good...
166
click to vote
COMPSAC
2006
IEEE
16 years 16 days ago
2006
IEEE
This paper presents an aspect-oriented approach to integrated elicitation of functional and security requirements based on use case-driven development. We identify security threat...
191
click to vote
COMPSAC
2006
IEEE
16 years 16 days ago
2006
IEEE
—This paper describes a biologically-inspired network architecture, called SymbioticSphere, which allows large-scale data centers to autonomously adapt to dynamic environmental c...