4350 search results - page 651 / 870 » Case studies for contract-based systems |
153
click to vote
INFOCOM
2008
IEEE
15 years 10 months ago
2008
IEEE
—We argue that the traditional notion of trust as a relation among entities, while useful, becomes insufficient for emerging data-centric mobile ad hoc networks. In these system...
128
click to vote
VL
2008
IEEE
15 years 10 months ago
2008
IEEE
Visual modeling languages for discrete behavior modeling allow the modeler to describe how systems develop over time during system runs. Models of these languages are the basis fo...
120
click to vote
SCAM
2007
IEEE
15 years 10 months ago
2007
IEEE
—The access of information systems to underlying relational databases is commonly programmed using embedded SQL queries. Such embedded queries may take the form of string literal...
127
click to vote
SAFECOMP
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. Esterel Technologies’ SCADE Suite is one of the most important development tools for software for safety-critical systems. It is used for designing many critical compon...
115
click to vote
WINE
2007
Springer
15 years 10 months ago
2007
Springer
We study keyword auctions in a model where each advertiser has a value for every slot, which is not necessarily proportional to the number of clicks the advertiser expects to rece...