36320 search results - page 614 / 7264 » From Code to Models |
230
click to vote
TCOM
2008
15 years 7 months ago
2008
This paper proposes a cross-layer optimization framework for the wireless sensor networks. In a wireless sensor network, each sensor makes a local observation of the underlying phy...
222
click to vote
SIGSOFT
2003
ACM
16 years 11 days ago
2003
ACM
1 Step-wise refinement (SWR) asserts that complex programs can be derived from simple programs by progressively adding features. The length of a program specification is the number...
210
click to vote
ENTCS
2008
15 years 7 months ago
2008
Automatic generation of formal specifications from requirement reduces cost and complexity of formal models creation. Thus, the generated formal model brings the possibility to ca...
176
click to vote
NIME
2004
Springer
16 years 14 days ago
2004
Springer
On-the-fly programming is a style of programming in which the programmer/performer/composer augments and modifies the program while it is running, without stopping or restarting, ...
166
click to vote
JCP
2006
15 years 7 months ago
2006
Abstract-- The paper details a scheme for lossless compression of short data series larger than 50 Bytes. The method uses arithmetic coding and context modeling with a low-complexi...