4434 search results - page 773 / 887 » On the Composition of Hybrid Systems |
163
click to vote
CC
2005
Springer
15 years 12 months ago
2005
Springer
We introduce a new approach, called completeness analysis, to computing points-to sets for incomplete Java programs such as library modules or applications in the presence of dynam...
151
click to vote
CSCW
2004
ACM
15 years 12 months ago
2004
ACM
A framework is described for analyzing keystroke level data from instant messages (IM). This is unlike other analyses of IM which employ server-based logs of messages. This framew...
162
click to vote
DOCENG
2004
ACM
15 years 12 months ago
2004
ACM
We show that an XML DTD (Document Type Definition) can be viewed as the fixed point of a parametric content model. We then use natural transformations from the source content mo...
199
click to vote
SWS
2004
ACM
15 years 12 months ago
2004
ACM
Technical advances in networks, operating systems and web based services are enabling new web-based services such as audiovisual surveillance, monitoring and recording of unfoldin...
170
click to vote
ATAL
2004
Springer
15 years 11 months ago
2004
Springer
As robots become more complex by incorporating dynamic stability or greater mechanical degrees of freedom, the difficulty of developing control algorithms directly on the robot in...