2232 search results - page 350 / 447 » Formal Modeling and Analysis of Organizations |
173
Voted
FROCOS
2007
Springer
16 years 7 days ago
2007
Springer
Abstract. In formal approaches, messages sent over a network are usually modeled by terms together with an equational theory, axiomatizing the properties of the cryptographic funct...
136
click to vote
CONEXT
2006
ACM
16 years 1 days ago
2006
ACM
Abstract— In many IP media services, the media channels are point-to-point, dynamic, and set up with the participation of one or more application servers, even though the media p...
158
click to vote
NCA
2005
IEEE
15 years 11 months ago
2005
IEEE
In this paper, fundamental conditions which bound the network processing unit (NPU) worst-case performance are established. In particular, these conditions formalize and integrate...
114
click to vote
JSAI
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. The economic implications of network topologies are studied via a monopolist’s model of market networks originally proposed by Phan, et al. (2003). By embedding the mar...
156
click to vote
FMCO
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. Coordination languages are intended to simplify the development of complex software systems by separating the coordination aspects of an application from its computation ...