3273 search results - page 407 / 655 » types 2007 |
173
click to vote
ECSQARU
2007
Springer
16 years 24 days ago
2007
Springer
Many types of inter-agent dialogue, including information seeking, negotiation and deliberation can be fruitfully seen as varieties of argumentation. Argumentation frameworks, ori...
167
click to vote
ICC
2007
IEEE
16 years 29 days ago
2007
IEEE
Abstract- Switched Processing Systems (SPS) represent a canonical model for many areas of applications of communication, computer and manufacturing systems. They are characterized ...
186
click to vote
ESOP
2007
Springer
16 years 24 days ago
2007
Springer
We study the relationship between Concurrent Separation Logic (CSL) and the assume-guarantee (A-G) method (a.k.a. rely-guarantee method). We show in three steps that CSL can be tre...
165
click to vote
GECCO
2007
Springer
15 years 10 months ago
2007
Springer
Polymer microstructured optical fibres are a relatively recent development in optical fibre technology, supporting a wide variety of microstructure fibre geometries, when compared...
177
click to vote
CCGRID
2007
IEEE
16 years 1 months ago
2007
IEEE
The number of processors embedded on high performance computing platforms is continuously increasing to accommodate user desire to solve larger and more complex problems. However,...