5246 search results - page 146 / 1050 » Sanitization models and their limitations |
COR
2008
14 years 12 months ago
2008
We adapt the competitive location model based on maximal covering to include the knowledge that a competitor will enter the market later with a single new facility. The objective ...
ENTCS
2008
14 years 12 months ago
2008
This note is about work in progress on the topic of "internal type theory" where we investigate the internal formalization of the categorical metatheory of constructive ...
JSA
2008
14 years 11 months ago
2008
Like most software products, protocols are continuously enhanced and new protocols are developed. But especially new protocols of the transport layer can not be utilized widely ea...
101
Voted
JIKM
2006
14 years 11 months ago
2006
In the development of location-based services, various location-sensing techniques and experimental/commercial services have been used. However, conventional location-based service...
ITA
2007
14 years 11 months ago
2007
Abstract. This paper analyses the complexity of model checking Fixpoint Logic with Chop – an extension of the modal µ-calculus with a sequential composition operator. It uses tw...