2118 search results - page 291 / 424 » Execution of A Requirement Model in Software Development |
180
click to vote
ISSTA
2012
ACM
13 years 6 months ago
2012
ACM
A static analysis design is sufficient if it can prove the property of interest with an acceptable number of false alarms. Ultimately, the only way to confirm that an analysis d...
174
click to vote
FCCM
2008
IEEE
15 years 11 months ago
2008
IEEE
The map-reduce model requires users to express their problem in terms of a map function that processes single records in a stream, and a reduce function that merges all mapped out...
140
click to vote
AAMAS
2002
Springer
15 years 4 months ago
2002
Springer
We control a population of interacting software agents. The agents have a strategy, and receive a payoff for executing that strategy. Unsuccessful agents become extinct. We investi...
157
click to vote
VIS
2004
IEEE
16 years 5 months ago
2004
IEEE
Grid computing provides a challenge for visualization system designers. In this research, we evolve the dataflow concept to allow parts of the visualization process to be executed...
139
click to vote
EUROSYS
2007
ACM
16 years 1 months ago
2007
ACM
Continuously running systems require kernel software updates applied to them without downtime. Facilitating fast reboots, or delaying an update may not be a suitable solution in m...