6800 search results - page 966 / 1360 » Testing with Functions as Specifications |
191
click to vote
RTSS
2007
IEEE
16 years 1 months ago
2007
IEEE
Creating robust real-time embedded software is critical in combining the physical world with computing, such as in consumer electronics or robotics. One challenge is the complexit...
174
click to vote
GECCO
2007
Springer
16 years 27 days ago
2007
Springer
One of the most controversial yet enduring hypotheses about what genetic algorithms (GAs) are good for concerns the idea that GAs process building-blocks. More specifically, it ha...
156
click to vote
NETCOOP
2007
Springer
16 years 26 days ago
2007
Springer
In the networking research literature, the problem of network utility optimization is often converted to the dual problem which, due to nondifferentiability, is solved with a part...
169
click to vote
POLICY
2007
Springer
16 years 26 days ago
2007
Springer
This paper presents ongoing research and current results on the development of flexible access control infrastructure for complex resource provisioning (CRP) in Grid-based applica...
187
click to vote
VLDB
2007
ACM
16 years 26 days ago
2007
ACM
Damia is a lightweight enterprise data integration service where line of business users can create and catalog high value data feeds for consumption by situational applications. D...