10159 search results - page 1734 / 2032 » System Design Validation Using Formal Models |
179
click to vote
CSE
2009
IEEE
15 years 10 months ago
2009
IEEE
Social networks and collaborative tagging systems are rapidly gaining popularity as primary means for sorting and sharing data: users tag their bookmarks in order to simplify infor...
170
click to vote
PDCAT
2005
Springer
16 years 5 days ago
2005
Springer
Fault tolerant algorithms are often designed under the t-out-of-n assumption, which is based on the assumption that all processes or components fail independently with equal proba...
174
click to vote
CHI
2009
ACM
16 years 7 months ago
2009
ACM
Collaborative web browsing tasks occur frequently, such as one user showing another how to use a web site, several users working together on a search task, or even one user sendin...
189
click to vote
ICCD
2006
IEEE
16 years 3 months ago
2006
IEEE
By integrating one or more (hard or soft) CPU core on the chip, new generation platform FPGAs have become configurable systems on a chip (CSoC) that support a combined software an...
195
click to vote
JIRS
1998
15 years 6 months ago
1998
In this paper, we advocate the use of reactive robots in industrial process control and production management. It is explained why reactive robots are well-suited to modern industr...