1864 search results - page 117 / 373 » Formal topology and domains |
168
click to vote
SGP
2003
15 years 7 months ago
2003
In this paper we develop a new description for subdivision surfaces based on a graph grammar formalism. Subdivision schemes are specified by a context sensitive grammar in which ...
155
click to vote
WD
2010
15 years 4 months ago
2010
Energy consumption in general and interference in particular are among the most critical issues in wireless networks. In this paper we present the E-BUM calculus, a Energy-aware ca...
147
click to vote
SMA
2005
ACM
15 years 12 months ago
2005
ACM
Constructing splines whose parametric domain is an arbitrary manifold and effectively computing such splines in realworld applications are of fundamental importance in solid and ...
175
click to vote
WWW
2004
ACM
16 years 7 months ago
2004
ACM
Complex Semantic Web (SW) services may have intricate data state, autonomous process behavior and concurrent interactions. The design of such SW service systems requires precise a...
207
click to vote
MEMOCODE
2008
IEEE
16 years 24 days ago
2008
IEEE
While synchrony and asynchrony are two distinct concepts of concurrency theory, effective and formally defined embedded system design methodologies usually mix the best from both...