Zobrazeno 1 - 10
of 51
pro vyhledávání: '"Sere, Kaisa"'
Publikováno v:
EPTCS 209, 2016, pp. 112-128
Service composition has become commonplace nowadays, in large part due to the increased complexity of software and supporting networks. Composition can be of many types, for instance sequential, prioritising, non-deterministic. However, a fundamental
Externí odkaz:
http://arxiv.org/abs/1606.02024
Publikováno v:
EPTCS 55, 2011, pp. 166-182
Event-B is a refinement-based formal method that has been shown to be useful in developing concurrent and distributed programs. Large models can be decomposed into sub-models that can be refined semi-independently and executed in parallel. In this pa
Externí odkaz:
http://arxiv.org/abs/1106.4100
Publikováno v:
EPTCS 30, 2010, pp. 47-61
Wireless sensor-actor networks are a recent development of wireless networks where both ordinary sensor nodes and more sophisticated and powerful nodes, called actors, are present. In this paper we formalize a recently introduced algorithm that recov
Externí odkaz:
http://arxiv.org/abs/1007.5091
Publikováno v:
In Science of Computer Programming 1 February 2014 80 Part A:25-49
Publikováno v:
In Journal of Systems Architecture October 2013 59(9):709-728
Publikováno v:
In Theoretical Computer Science 2003 290(1):937-973
Publikováno v:
In Electronic Notes in Theoretical Computer Science 2000 28:59-80
Publikováno v:
In Theoretical Computer Science 2000 240(1):91-115
Publikováno v:
In Modeling and Simulation of Computer Networks and Systems 2015:357-392