2261 search results - page 44 / 453 » Relationships Between Models of Concurrency |
SEW
2006
IEEE
14 years 1 months ago
2006
IEEE
Complex software systems typically involve features like time, concurrency and probability, where probabilistic computations play an increasing role. It is challenging to formaliz...
ICASSP
2011
IEEE
12 years 11 months ago
2011
IEEE
The channel of radio frequency identi cation (RFID) can be modeled as a cascaded channel consisting of a forward link and a backscatter link. The correlation between the forward a...
SERA
2005
Springer
14 years 1 months ago
2005
Springer
Requirements specifications often make use of a number of scenarios that are interrelated and that depend on each other in many ways. However, they are often treated separately, o...
AINA
2009
IEEE
14 years 2 months ago
2009
IEEE
This paper presents “ConServ1 ”, a web service for context management. ConServ allows smart spaces to access user’s context data according to user-defined policies. This we...
CONTEXT
2007
Springer
14 years 2 months ago
2007
Springer
Indexing is often designed with the intent of dimensional reduction, that is, of generating standardised and uniform descriptive metadata. This could be characterised as a process ...