4350 search results - page 176 / 870 » Case studies for contract-based systems |
114
click to vote
ICDCSW
2003
IEEE
15 years 9 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...
146
click to vote
CAISE
2010
Springer
14 years 11 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...
146
click to vote
INFOCOM
2003
IEEE
15 years 9 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...
134
click to vote
VLDB
1994
ACM
15 years 8 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. ...
114
click to vote
CDC
2009
IEEE
15 years 2 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...