4693 search results - page 326 / 939 » Verifying Hybrid Systems |
183
click to vote
SAC
2005
ACM
16 years 1 months ago
2005
ACM
Content-based publish/subscribe systems offer an interaction scheme that is appropriate for a variety of large scale dynamic applications. However, widespread use of these systems...
205
Voted
ATAL
2006
Springer
15 years 11 months ago
2006
Springer
We present an OBDD-based methodology for verifying time, knowledge, and strategies in multi-agent systems specified by the formalism of interpreted systems. To this end, we invest...
164
Voted
CORR
2006
Springer
15 years 7 months ago
2006
Springer
Abstract. We consider the interpretations of notions of access control (permissions, interdictions, obligations, and user rights) as run-time properties of information systems spec...
163
click to vote
ICPR
2006
IEEE
16 years 1 months ago
2006
IEEE
Optical device miniaturization is highly desirable in many applications. Direct down-scaling of traditional imaging system is one approach, but the extent to which it can be minim...
190
Voted
WSC
1997
15 years 8 months ago
1997
This paper describes a general framework for the modeling, design, simulation, and prototyping of large scale systems. The framework uses a coherent set of tools that model the sy...