6187 search results - page 1186 / 1238 » Practical Software Measurement |
148
click to vote
INFORMS
1998
15 years 2 months ago
1998
High-level formalisms such as stochastic Petri nets can be used to model complex systems. Analysis of logical and numerical properties of these models often requires the generatio...
134
click to vote
TCSV
2002
15 years 2 months ago
2002
Compressed video bitstreams require protection from channel errors in a wireless channel. The threedimensional (3-D) SPIHT coder has proved its efficiency and its real-time capabi...
129
click to vote
PSYCHNOLOGY
2007
15 years 2 months ago
2007
The ROBOCARE Domestic Environment (RDE) is the result of a three-year project aimed at developing cognitive support technology for elderly people. Specifically, the domestic envir...
121
click to vote
PUC
2007
15 years 2 months ago
2007
One of the tropes of the age of ubiquitous computing is the migration of computation into new spaces. Domestic environments have been a particular focus of attention for many. Howe...
145
click to vote
SCP
2010
15 years 1 months ago
2010
The SPIN model checker and its specification language Promela have been used extensively in industry and academia to check logical properties of distributed algorithms and protoc...