8190 search results - page 130 / 1638 » From Timed to Hybrid Systems |
CHI
1999
ACM
14 years 2 months ago
1999
ACM
Thispaper describes our design and implementation of a computer augmented environment that allows users to smoothly interchange digital information among their portable computers,...
ISSAC
2005
Springer
14 years 3 months ago
2005
Springer
Two ideas are combined to construct a hybrid symbolicnumeric differential-elimination method for identifying and including missing constraints arising in differential systems. F...
SIGSOFT
2010
ACM
13 years 8 months ago
2010
ACM
Several research efforts have studied ways to infer properties of software systems from program spectra gathered from the running systems, usually with software-level instrumentat...
ECIS
2003
13 years 11 months ago
2003
XML has been known as a document standard in representation and exchange of data on the Internet, and is also used as a standard language for the search and reuse of scattered doc...
SIAMCOMP
1998
13 years 9 months ago
1998
We present a consensus algorithm that combines unreliable failure detection and randomization, two well-known techniques for solving consensus in asynchronous systems with crash f...