1829 search results - page 147 / 366 » aims 2008 |
139
click to vote
SOCO
2008
Springer
15 years 6 months ago
2008
Springer
Flexibility can significantly impact performance. Some component-based frameworks come with a near to zero overhead but provide only build-time configurability. Other solutions pro...
173
click to vote
TAP
2008
Springer
15 years 6 months ago
2008
Springer
Abstract. In this paper we report on our first experiences using the relational analysis provided by the Alloy tool with the theorem prover KIV in the context of specifications of ...
163
click to vote
TAP
2008
Springer
15 years 6 months ago
2008
Springer
Formal methods can only gain widespread use in industrial software development if they are integrated into software development techniques, tools, and languages used in practice. A...
158
click to vote
TASE
2008
IEEE
15 years 6 months ago
2008
IEEE
Situated Multi-Agents Systems (MAS), and other Agentbased systems, are often complex. Formal reasoning is needed to ensuring their correctness and structuring their development. E...
178
click to vote
TC
2008
15 years 6 months ago
2008
As the scale of high-performance computing (HPC) continues to grow, failure resilience of parallel applications becomes crucial. In this paper, we present FT-Pro, an adaptive fault...