3504 search results - page 438 / 701 » Computational Aspects of Equilibria |
156
click to vote
ICTCS
2007
Springer
16 years 26 days ago
2007
Springer
ing from Prioritized/Weighted Internal Immediate Actions Marco Bernardo and Alessandro Aldini Universit`a di Urbino “Carlo Bo” – Italy Markovian process calculi constitute a ...
154
click to vote
OTM
2007
Springer
16 years 25 days ago
2007
Springer
Software patterns have evolved into a commonly used means to design and implement software systems. Programming patterns, architecture and design patterns have been quite successfu...
196
click to vote
SPIN
2007
Springer
16 years 25 days ago
2007
Springer
One of the most exciting and promising approaches to ensure the correctness of critical systems is software model checking, which considers real code, written with standard program...
177
click to vote
WSFM
2007
Springer
16 years 24 days ago
2007
Springer
Developing wide-area distributed applications requires jointly analyzing functional and Quality of Service (QoS) aspects, such as timing properties. Labelled transition systems and...
181
click to vote
ACSC
2006
IEEE
16 years 23 days ago
2006
IEEE
Manipulating semistructured data, such as XML, does not t well within conventional programming languages. A typical manipulation requires nding all occurrences of a structure matc...