Zobrazeno 1 - 10
of 29
pro vyhledávání: '"Glenn Bruns"'
Autor:
Jose Mijangos, Glenn Bruns
Publikováno v:
ICMLA
The California Public Utilities Commission collects and publishes data on mobile broadband service from major wireless service providers. The data is collected twice yearly at over 1900 measurement locations across California. The data can be used to
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::fd72bbf5a3461f5f64ddac7726ff468b
https://doi.org/10.1109/icmla.2019.00103
https://doi.org/10.1109/icmla.2019.00103
Autor:
Glenn Bruns, Michael Huth
Publikováno v:
ACM Transactions on Information and System Security. 14:1-27
Access control to IT systems increasingly relies on the ability to compose policies. Hence there is benefit in any framework for policy composition that is intuitive, formal (and so “analyzable” and “implementable”), expressive, independent o
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::b694fbdb36d7bbb4cb4085fd0620a6ba
https://doi.org/10.1145/1952982.1952991
https://doi.org/10.1145/1952982.1952991
Publikováno v:
Bell Labs Technical Journal. 5:32-43
In software development with domain-specific languages (DSLs), one defines a requirements language for an application domain and then develops a compiler to generate an implementation from a requirements document. Because DSLs and DSL compilers are e
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::693bf04879c7c1b1ae7d18e57294270c
https://doi.org/10.1002/bltj.2220
https://doi.org/10.1002/bltj.2220
Publikováno v:
CISS
Sponsored content is a mechanism in which content providers can pay the operator of a wireless network to make their content free to end users. Such offerings have recently been introduced in both the US and Asia and they raise many challenging quest
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::0f5ece05153332513fefbb640c98285d
https://doi.org/10.1109/ciss.2014.6814145
https://doi.org/10.1109/ciss.2014.6814145
Publikováno v:
IEEE Transactions on Software Engineering. 25:334-346
A form-based service is one in which the flow of data between service and user is described by a sequence of query/response interactions, or forms. Mawl is a domain-specific language for programming form-based services in a device-independent manner.
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::503261ae5e2779f5fc6bc8a6858eee3b
https://doi.org/10.1109/32.798323
https://doi.org/10.1109/32.798323
Autor:
Glenn Bruns
Publikováno v:
Science of Computer Programming. 29(1-2):3-22
Modal process logic is an extension of CCS that allows for more expressive specifications. We show how modal process logic was successfully applied in the development of a failure recovery protocol for an air-traffic information system now in service
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::a2b51355cead0c07d5a271a5455f923b
Autor:
Glenn Bruns, Javier Esparza
Publikováno v:
Theoretical Computer Science. 153:95-128
The box calculus is a process algebra with a simple Petri net semantics. We show that it provides for the concise translation of parallel programs and for the combination of verification techniques from process algebra and Petri nets. This is done by
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::b42590896fbc07e67e9dccdf3c54882b
https://doi.org/10.1016/0304-3975(95)00119-0
https://doi.org/10.1016/0304-3975(95)00119-0
Publikováno v:
CODASPY
Access control policy is typically defined in terms of attributes, but in many applications it is more natural to define permissions in terms of relationships that resources, systems, and contexts may enjoy. The paradigm of relationship-based access
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::57c739f7e837eb268c4a5c8a8ed3b3d3
https://doi.org/10.1145/2133601.2133616
https://doi.org/10.1145/2133601.2133616
Autor:
Stuart Anderson, Glenn Bruns
Publikováno v:
Formal Aspects of Computing. 6:92-112
The MSMIE protocol [SBC89] allows processors in a distributed system to communicate via shared memory. It was designed to meet the reliability and efficiency needs of applications such as nuclear safety systems. We present a formal model of the MSMIE
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::babe551725ee6e369f36431bf330e85b
https://doi.org/10.1007/bf01211082
https://doi.org/10.1007/bf01211082
Autor:
Glenn Bruns, Mauricio Cortes
Publikováno v:
ICWS
Service negotiation allows a service client to negotiate with a service provider on the terms of service. Much existing work on service negotiation assumes that a provider will define its negotiation strategy in terms of the state of its resources. T
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::c709f95123af88d0e69e5af6b281d278
https://doi.org/10.1109/icws.2011.117
https://doi.org/10.1109/icws.2011.117