10072 search results - page 1463 / 2015 » Composition of Model Programs |
172
click to vote
ENTCS
2002
15 years 7 months ago
2002
Category theory has proved a useful tool in the study of type systems for sequential programming languages. Various approaches have been proposed to use categorical models to exam...
216
click to vote
TSE
2002
15 years 6 months ago
2002
Software system documentation is almost always expressed informally in natural language and free text. Examples include requirement specifications, design documents, manual pages, ...
187
click to vote
GLOBECOM
2010
IEEE
15 years 5 months ago
2010
IEEE
Statistical multiplexing aims at transmitting several variable bit rate (VBR) encoded video streams over a bandlimited channel. Rate-distortion (RD) models for the encoded streams ...
166
click to vote
DSL
2009
15 years 5 months ago
2009
Abstract. Experimental game theory is an increasingly important research tool in many fields, providing insight into strategic behavior through simulation and experimentation on ga...
246
click to vote
IFIP
2010
Springer
15 years 2 months ago
2010
Springer
This paper formalizes the semantics of trust and studies the transitivity of trust. On the Web, people and software agents have to interact with "strangers". This makes ...