5630 search results - page 975 / 1126 » Computability in Specification |
142
click to vote
QEST
2008
IEEE
15 years 11 months ago
2008
IEEE
We begin by observing that (discrete-time) QuasiBirth-Death Processes (QBDs) are equivalent, in a precise sense, to (discrete-time) probabilistic 1-Counter Automata (p1CAs), and b...
133
click to vote
DSN
2007
IEEE
15 years 11 months ago
2007
IEEE
Testing is a difficult process that becomes more difficult with scaling. With smaller and faster devices, tolerance for errors shrinks and devices may act correctly under certain ...
157
click to vote
SEMCO
2007
IEEE
15 years 11 months ago
2007
IEEE
One of the key objectives of web service technology is to construct processes that enable service providers to inter-connect with their clients. The industry has developed the UDD...
164
click to vote
EUSAI
2007
Springer
15 years 11 months ago
2007
Springer
A low-cost kit of stick-on wireless sensors that transmit data indicating whenever various objects are being touched or used might aid ubiquitous computing research efforts on rapi...
155
click to vote
LADC
2007
Springer
15 years 11 months ago
2007
Springer
Analysis and design patterns are well established as a convenient and reusable way to build high-quality object-oriented software. Patterns combine experience and good practices t...