4350 search results - page 176 / 870 » Case studies for contract-based systems |
146
click to vote
ICDCSW
2003
IEEE
15 years 11 months ago
2003
IEEE
Abstract— Today’s complex appliances are plagued by difficultto-use interfaces. In many cases, consumers use only a few of the many features on their appliances because the mor...
177
click to vote
CAISE
2010
Springer
15 years 1 months ago
2010
Springer
Abstract. Formal specification and operational support of time constraints constitute fundamental challenges for any process-aware information system. Although temporal constraints...
168
click to vote
INFOCOM
2003
IEEE
15 years 11 months ago
2003
IEEE
- It is well known that TCP has performance problems when wireless links are involved in the end-to-end connection. This is due to the high bit error rate characterizing wireless l...
166
click to vote
VLDB
1994
ACM
15 years 10 months ago
1994
ACM
Object-oriented database OODB users bring with them large quantities of legacy data megabytes and even gigabytes. In addition, scienti c OODB users continually generate new data. ...
139
click to vote
CDC
2009
IEEE
15 years 4 months ago
2009
IEEE
This paper studies the global synchronization problem of networked systems with bidirectional connections. We introduce a virtual node to produce the reference trajectory which wil...