2556 search results - page 412 / 512 » The Triconnected Abstraction of Process Models |
149
click to vote
FM
2009
Springer
16 years 26 days ago
2009
Springer
Abstract. The Alloy modeling language has a mathematically rigorous denotational semantics based on relational algebra. Alloy specifications often represent operations on a state,...
192
click to vote
FM
2009
Springer
16 years 26 days ago
2009
Springer
Abstract. Many long-lived and distributed systems must remain available yet evolve over time, due to, e.g., bugfixes, feature extensions, or changing user requirements. To facilit...
171
click to vote
ICC
2008
IEEE
16 years 23 days ago
2008
IEEE
Abstract— Interference among concurrent transmissions complicates QoS provisioning for multimedia applications in wireless mesh networks. In this paper we propose MARIA (Mesh Adm...
173
click to vote
CEC
2007
IEEE
16 years 20 days ago
2007
IEEE
Abstract— We recast the problem of unconstrained continuous evolutionary optimization as inference in a fixed graphical model. This approach allows us to address several pervasi...
156
click to vote
ISQED
2007
IEEE
16 years 18 days ago
2007
IEEE
Abstract—A Network-on-Chip (NoC) replaces on-chip communication implemented by point-to-point interconnects in a multi-core environment by a set of shared interconnects connected...