1521 search results - page 116 / 305 » On Sampled Semantics of Timed Systems |
LICS
2000
IEEE
15 years 2 months ago
2000
IEEE
This paper explores the connection between semantic equivalences and preorders for concrete sequential processes, represented by means of labelled transition systems, and formats ...
108
click to vote
ICTAI
1993
IEEE
15 years 2 months ago
1993
IEEE
MERIT (Multimedia Extensions of Retrieval Interaction Tools)1 provides a user-centered interface to a database covering European research programs, projects, and consortia in the ...
ICSE
2007
IEEE-ACM
15 years 10 months ago
2007
IEEE-ACM
Abstract. In software architecture, components represent the computational units of a system and connectors represent the interactions among those units. Making decisions about the...
100
click to vote
PVLDB
2008
14 years 9 months ago
2008
Access control is the problem of regulating access to secret information based on certain context information. In traditional applications, context information is known exactly, p...
CDC
2009
IEEE
14 years 7 months ago
2009
IEEE
Recent results have suggested that online Model Predictive Control (MPC) can be computed quickly enough to control fast sampled systems. High-speed applications impose a hard real-...