3256 search results - page 405 / 652 » Applications of Formal Methods to System Design and Verifica... |
170
click to vote
DSN
2008
IEEE
16 years 1 months ago
2008
IEEE
Quorums are a basic construct in solving many fundamental distributed computing problems. One of the known ways of making quorums scalable and efficient is by weakening their int...
265
click to vote
WWW
2005
ACM
16 years 4 days ago
2005
ACM
Semantic Web Information Systems (SWIS) are Web Information Systems that use Semantic Web technologies. Hera is a modeldriven design methodology for SWIS. In Hera, models are repr...
187
click to vote
DAC
2004
ACM
16 years 7 months ago
2004
ACM
In the near future, Ambient Intelligence (AmI) will become part of everyday life. Combining feature-rich multimedia with AmI (dubbed Ambient Multimedia for short) has the potentia...
163
click to vote
ATAL
2005
Springer
16 years 3 days ago
2005
Springer
The rapid changing business environment of high-tech asset intensive enterprises such as semiconductor manufacturing constantly drives production managers to look for better solut...
171
click to vote
CDC
2010
IEEE
15 years 1 months ago
2010
IEEE
Subspace identification has proven useful when identifying identifying multi-input multi-output systems. It is, however, important in many applications to take a priori structural ...