4890 search results - page 580 / 978 » From system specifications to component behavioral models |
177
click to vote
SPIN
2007
Springer
16 years 29 days ago
2007
Springer
Abstract. We present an approach for the veri cation of spatial properties with Spin. We rst extend one of Spin's main property speci cation mechanisms, i.e., the linear-time...
171
click to vote
COMCOM
2008
15 years 7 months ago
2008
Peer-to-peer (P2P) dissemination systems are vulnerable to attacks that may impede nodes from receiving data in which they are interested. The same properties that lead P2P system...
191
click to vote
ICIA
2007
15 years 9 months ago
2007
As computer systems continue to grow in power and access more networked content and services, we believe there will be an increasing need to provide more user-centric systems that...
230
click to vote
IWOMP
2007
Springer
16 years 1 months ago
2007
Springer
The Cell processor is a heterogeneous multi-core processor with one Power Processing Engine (PPE) core and eight Synergistic Processing Engine (SPE) cores. Each SPE has a directly...
163
click to vote
ATAL
2008
Springer
15 years 8 months ago
2008
Springer
Recognizing team actions in the behavior of embodied agents has many practical applications and had seen significant progress in recent years. One approach with proven results is ...