18924 search results - page 87 / 3785 » Conformance of Distributed Systems |
149
click to vote
ER
2007
Springer
16 years 11 days ago
2007
Springer
An e-contract is a contract modeled, specified, executed, controlled and monitored by a software system. Econtract evolves over a period of time and there are many scenarios of ch...
139
click to vote
HICSS
2003
IEEE
15 years 11 months ago
2003
IEEE
We have constructed “EventStream” data collection and analysis software framework to support a wide variety of sensors that measure user’s physical state. The framework’s ...
148
click to vote
CC
2001
Springer
15 years 10 months ago
2001
Springer
This paper introduces design-driven compilation, an approach in which the compiler uses design information to drive its analysis and verify that the program conforms to its design....
178
click to vote
DSVIS
1998
Springer
15 years 10 months ago
1998
Springer
Abstract. Much attention has been paid in HCI to techniques for designing systems that conform to the tasks users wish to carry out. It is often the case that such approaches rely ...
127
click to vote
CONEXT
2005
ACM
15 years 8 months ago
2005
ACM
Full-Duplex Switched Ethernet is a forecasted new technology for advanced military aircraft system interconnection. However, it was not originally developed to meet the requiremen...