12981 search results - page 2392 / 2597 » Model Checking (Abstract) |
131
click to vote
IJSNET
2006
15 years 3 months ago
2006
Abstract: This paper addresses the target coverage problem in wireless sensor networks with adjustable sensing range. Communication and sensing consume energy, therefore efficient ...
134
click to vote
CORR
2007
Springer
15 years 3 months ago
2007
Springer
We give a simple order-theoretic construction of a Cartesian closed category of sequential functions. It is based on bistable biorders, which are sets with a partial order — the ...
117
click to vote
CORR
2007
Springer
15 years 3 months ago
2007
Springer
Abstract. Identity-based encryption (IBE) schemes are usually used in multiplePKG environments — on the one hand, each administrative domain (e.g., a relatively small and close o...
134
click to vote
IJWET
2006
15 years 3 months ago
2006
: Business processes provide abstractions for modelling business protocols that define the correct interactions between two or more Web services (WS). It has been shown that it is ...
132
click to vote
IJWIS
2006
15 years 3 months ago
2006
Abstract. In this paper we present a model-based approach for the development of physical hypermedia applications, i.e. those mobile (Web) applications in which physical and digita...