5707 search results - page 761 / 1142 » Symbolic Simulation - Techniques and Applications |
180
click to vote
ENTCS
2008
15 years 7 months ago
2008
Deep inference is a proof theoretical methodology that generalizes the traditional notion of inference in the sequent calculus: in contrast to the sequent calculus, the deductive ...
194
click to vote
CN
2006
15 years 7 months ago
2006
Energy saving is a paramount concern in wireless sensor networks (WSNs). A strategy for energy saving is to cleverly manage the duty cycle of sensors, by dynamically activating di...
189
click to vote
CN
2006
15 years 7 months ago
2006
Abstract. We present a scalable and flexible grouping service based on concast and best-effort single-source multicast. The service assigns participating end systems to specific gr...
188
click to vote
COMCOM
2006
2006
Performance optimization of an adaptive wireless push system in environments with locality of demand
15 years 7 months ago
In many data broadcasting applications clients are grouped into several groups, each one located at a different region, with the members of each group having similar demands. This...
202
click to vote
INFSOF
2008
15 years 6 months ago
2008
Domain-specific modeling (DSM) assists subject matter experts in describing the essential characteristics of a problem in their domain. Various software artifacts can be generated...