排序方式: 共有3条查询结果,搜索用时 15 毫秒
1
1.
Marwane Ayaida Mohtadi Barhoumi Hacène Fouchal Yacine Ghamri-Doudane Lissan Afilal 《Journal of Parallel and Distributed Computing》2014
Geographic routing protocols use location information when they need to route packets. In the meantime, location information are maintained by location-based services provided by network nodes in a distributed manner. Routing and location services are very related but are used separately. Therefore, the overhead of the location-based service is not considered when we evaluate the geographic routing overhead. Our aim is to combine routing protocols with location-based services in order to reduce communication establishment latency and routing overhead. 相似文献
2.
Silvano?Colombo TosattoEmail author Pierre?Kelsen Qin?Ma Marwane?el?Kharbili Guido?Governatori Leendert?van der?Torre 《Frontiers of Computer Science》2015,9(1):55-74
In general the problem of verifying whether a structured business process is compliant with a given set of regulations is NP-hard. The present paper focuses on identifying a tractable subset of this problem, namely verifying whether a structured business process is compliant with a single global obligation. Global obligations are those whose validity spans for the entire execution of a business process. We identify two types of obligations: achievement and maintenance.In the present paper we firstly define an abstract framework capable to model the problem and secondly we define procedures and algorithms to deal with the compliance problem of checking the compliance of a structured business process with respect to a single global obligation. We show that the algorithms proposed in the paper run in polynomial time. 相似文献
3.
Al-Ghamdi Bandar Ayaida Marwane Fouchal Hacène 《Wireless Personal Communications》2020,110(3):1089-1108
Wireless Personal Communications - The design of wireless sensor networks (WSN) is still a hot topic either for industry or academia. Many research teams work on various issues as communication... 相似文献
1