4434 search results - page 592 / 887 » On the Composition of Hybrid Systems |
164
click to vote
EICS
2009
ACM
16 years 1 months ago
2009
ACM
This paper discusses the use of formal methods for analysing human-computer interaction. We focus on the mode confusion problem that arises whenever the user thinks that the syste...
208
click to vote
SUTC
2006
IEEE
16 years 22 days ago
2006
IEEE
Design aspects and software modelling for ubiquitous real-time camera system are described in this paper. We propose system architecture using a network of inexpensive cameras and...
181
click to vote
ACSD
2008
IEEE
15 years 8 months ago
2008
IEEE
This paper considers distributed systems, defined as a collection of components interacting through interfaces. Components, interfaces and distributed systems are modeled as Petri...
180
click to vote
RTAS
2010
IEEE
15 years 5 months ago
2010
IEEE
Recent research in compositional real-time systems has focused on determination of a component’s real-time interface parameters. An important objective in interface-parameter de...
221
click to vote
CORR
2011
Springer
15 years 1 months ago
2011
Springer
In this paper, we present type systems for flow-sensitive pointer analysis, live stack-heap (variables) analysis, and program optimization. The type system for live stack-heap ana...