3971 search results - page 486 / 795 » On the Use of Properties in Java Applications |
186
click to vote
IFIPTM
2010
15 years 5 months ago
2010
Abstract. Location-dependent services are services that adapt their behavior based on the locations of mobile devices. For many applications, it is critical that location-dependent...
239
click to vote
BMVC
2010
15 years 5 months ago
2010
In this paper, we propose a framework for predicting the performance of a vision algorithm given the input image or video so as to maximize the algorithm's ability to provide...
214
click to vote
IFIP
2010
Springer
15 years 2 months ago
2010
Springer
Abstract. We consider two standard notions in formal security protocol analysis: message deducibility and static equivalence under equational theories. We present polynomial-time a...
227
click to vote
ICDE
2012
IEEE
13 years 9 months ago
2012
IEEE
—There is increasing interest in analyzing networks of all types including social, biological, sensor, computer, and transportation networks. Broadly speaking, we may be interest...
223
click to vote
EMSOFT
2007
Springer
16 years 1 months ago
2007
Springer
We provide an algebraic formalisation of connectors in BIP. These are used to structure interactions in a component-based system. A connector relates a set of typed ports. Types a...