1823 search results - page 309 / 365 » Formal specification: a roadmap |
CN
2006
13 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...
CORR
2006
Springer
13 years 7 months ago
2006
Springer
Peer review meetings (PRMs) are formal meetings during which peers systematically analyze artifacts to improve their quality and report on non-conformities. This paper presents an...
DATAMINE
2006
13 years 7 months ago
2006
In order to allow for the analysis of data sets including numerical attributes, several generalizations of association rule mining based on fuzzy sets have been proposed in the li...
ENTCS
2006
13 years 7 months ago
2006
nary abstract) Jan Friso Groote 1 MohammadReza Mousavi 2 Michel A. Reniers 3 Department of Computer Science, Eindhoven University of Technology (TU/e), P.O. Box 513, NL-5600 MB Ein...
IEEEMM
2006
13 years 7 months ago
2006
The Musical Instrument Digital Interface (MIDI) is a popular music format used in mu ltimedia messaging service, such as mobile phone ringtones. Scalable Polyphony MIDI (SP-MIDI) ...