4067 search results - page 630 / 814 » Programs for Applying Symmetries |
156
click to vote
FCT
2009
Springer
16 years 1 months ago
2009
Springer
The n-ary first and second recursion theorems formalize two distinct, yet similar, notions of self-reference. Roughly, the n-ary first recursion theorem says that, for any n algo...
183
click to vote
FM
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. Bounding resource usage is important for a number of areas, notably real-time embedded systems and safety-critical systems. In this paper, we present a fully automatic st...
178
Voted
FSEN
2009
Springer
16 years 1 months ago
2009
Springer
We propose a timed process calculus for wireless systems exposed to communication collisions. The operational semantics of our calculus is given in terms of a labelled transition ...
192
Voted
FSEN
2009
Springer
16 years 1 months ago
2009
Springer
The dream of Model Driven Engineering (MDE) is that Software Engineering activities should be performed only on models, but in practice a significant amount of programming is still...
203
Voted
NETCOOP
2009
Springer
16 years 1 months ago
2009
Springer
We study the impact of user association policies on flow-level performance in interference limited wireless networks. Most research in this area has used static interference model...