2123 search results - page 186 / 425 » Composition of Cyber-Physical Systems |
150
click to vote
RC
2006
15 years 6 months ago
2006
The problem of designing robust controller for discrete two-time-scale interval systems, conveniently represented using interval matrix notion, is considered. The original full ord...
145
click to vote
JNW
2007
15 years 6 months ago
2007
Abstract— Publish/subscribe has emerged as an attractive communication paradigm for building Internet-wide distributed systems by decoupling message senders from receivers. Large...
200
click to vote
RP
2009
Springer
16 years 1 months ago
2009
Springer
Dynamic networks of Pushdown Systems (PDN in short) have been introduced to perform static analysis of concurrent programs that may spawn threads dynamically. In this model the se...
137
click to vote
AIED
2007
Springer
16 years 22 days ago
2007
Springer
Evaluation is an integral part of research that provides a true measure of effectiveness. This paper presents a study conducted to evaluate the effectiveness of CAS, a knowledge ac...
153
click to vote
TGC
2005
Springer
16 years 16 hour ago
2005
Springer
Abstract. We present a formal system that models programmable abstractions for access control. Composite abstractions and patterns of arbitrary complexity are modeled as a configu...