8190 search results - page 1351 / 1638 » From Timed to Hybrid Systems |
173
click to vote
TACAS
2004
Springer
16 years 3 days ago
2004
Springer
Abstract. We describe a scalable incomplete boundedness test for the communication buffers in UML RT models. UML RT is a variant of the UML modeling language, tailored to describin...
168
click to vote
ICMI
2003
Springer
15 years 12 months ago
2003
Springer
We have incorporated interactive skills into an active gaze tracking system. Our active gaze tracking system can identify an object in a cluttered scene that a person is looking a...
188
click to vote
DATE
2010
IEEE
15 years 12 months ago
2010
IEEE
—1 In this paper we present a stochastic model order reduction technique for interconnect extraction in the presence of process variabilities, i.e. variation-aware extraction. It...
231
Voted
ICDE
2002
IEEE
15 years 11 months ago
2002
IEEE
Soon, much of the data exchanged over the Internet will be encoded in XML, allowing for sophisticated filtering and content-based routing. We have built a filtering engine called ...
170
click to vote
AGENTS
2001
Springer
15 years 11 months ago
2001
Springer
Recent years are seeing an increasing need for on-line monitoring of deployed distributed teams of cooperating agents, e.g., for visualization, or performance tracking. However, i...