Zobrazeno 1 - 10
of 19
pro vyhledávání: '"Dan Hirsch"'
Autor:
Dan Hirsch, Ingemar Markström, Meredith L. Patterson, Anders Sandberg, Mikael Vejdemo-Johansson
Publikováno v:
PeerJ Computer Science, Vol 1, p e2 (2015)
We extend the existing enumeration of neck tie-knots to include tie-knots with a textured front, tied with the narrow end of a tie. These tie-knots have gained popularity in recent years, based on reconstructions of a costume detail from The Matrix R
Externí odkaz:
https://doaj.org/article/11770e7513304887a67f43caade249d8
Autor:
Sanjay Kumar Madria, Dan Hirsch
Publikováno v:
Mobile Networks and Applications. 18:237-252
The mobile computing environment provides many benefits such as ubiquitous access to computing but includes constraints on resources such as available bandwidth and battery life. Replication is a widely recognized method for balancing the demands of
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::438530714c325bf1a2becbf9e71c9a20
https://doi.org/10.1007/s11036-012-0393-z
https://doi.org/10.1007/s11036-012-0393-z
Publikováno v:
Electronic Notes in Theoretical Computer Science. 153(2):135-159
Service Oriented Computing (SOC) has been proposed as a paradigm to describe computations of applications on wide area distributed systems. Awareness of Quality of Service (QoS) is emerging as a new exigency in both design and implementation of SOC a
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::b68efc329c851067b89c73dc24ee6520
Autor:
Ugo Montanari, Dan Hirsch
Publikováno v:
Electronic Notes in Theoretical Computer Science. 109:97-109
Architectural design of software systems deals with high level configuration structuring. Checking that a system belongs to a software architecture style (or shape) implies that the architecture is an instance of a structurally defined class. On the
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::9d8ebe7ec7f32b643c398ada323e4768
https://doi.org/10.1016/j.entcs.2004.02.059
https://doi.org/10.1016/j.entcs.2004.02.059
Autor:
Dan Hirsch, Andrea Corradini
Publikováno v:
Electronic Notes in Theoretical Computer Science. 109:111-124
We propose an operational semantics, based on graph transformation, of CommUnity, a simple program design language. Each action of a single CommUnity design is modeled by a synchronized hyperedge replacement rule. Synchronized actions of several inte
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::0019652600ccb06dc5c446477c2bc521
Autor:
Sanjay Kumar Madria, Dan Hirsch
Publikováno v:
CollaborateCom
The mobile computing environment provides many benefits such as ubiquitous access to computing but include constraints on resources such as: available bandwidth and battery life. Replication is a widely recognized method for balancing the demands of
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::60a55cb20c2e2a4772d2c48ae4500838
https://doi.org/10.4108/icst.collaboratecom.2011.247120
https://doi.org/10.4108/icst.collaboratecom.2011.247120
Autor:
Dan Hirsch, Sanjay Kumar Madria
Publikováno v:
SRDS
In a Mobile Ad-Hoc Network environment, wireless devices have finite resources such as memory, energy and they work within the wireless constraints such as limited bandwidth and unreliable communication. Therefore, storage space, bandwidth, and batte
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::3aaf430381d69d99cf812cec8a97ebac
https://doi.org/10.1109/srds.2010.16
https://doi.org/10.1109/srds.2010.16
Publikováno v:
Formal Methods for Components and Objects ISBN: 9783540367499
FMCO
FMCO
This tutorial paper describes a framework for modelling several aspects of distributed computing based on Synchronised Hyperedge Replacement (SHR), a graph rewriting formalism. Components are represented as edges and they rewrite themselves by synchr
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::f69654c1acf3876245382caf07d5f3c0
https://doi.org/10.1007/11804192_2
https://doi.org/10.1007/11804192_2
Publikováno v:
Software Architecture ISBN: 9783540692713
EWSA
EWSA
Modern systems are heterogeneous, geographically distributed and highly dynamic since the communication topology can vary and the components can, at any moment, connect to or detach from the system. Service Oriented Computing (SOC) has emerged as a s
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::c6c263de0cf980a454d23b557a903a0c
https://doi.org/10.1007/11966104_9
https://doi.org/10.1007/11966104_9
Autor:
Emilio Tuosto, Dan Hirsch
Publikováno v:
SEFM
We present SHReQ, a formal framework for specifying systems that handle abstract high-level QoS requirements which are becoming more and more important for service oriented computing. SHReQ combines synchronised hyperedge replacement (SHR) with const
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::056119abd417fac4b1cbb5cafbb44b92
https://doi.org/10.1109/sefm.2005.40
https://doi.org/10.1109/sefm.2005.40