8190 search results - page 193 / 1638 » From Timed to Hybrid Systems |
141
click to vote
IJCSA
2006
15 years 6 months ago
2006
: In this paper we propose two generic mechanisms implemented in a cadastre internet information system. The first one is the list of last queries submitted by a given user and the...
168
click to vote
NIPS
2003
15 years 7 months ago
2003
We show that temporal logic and combinations of temporal logics and modal logics of knowledge can be effectively represented in artificial neural networks. We present a Translat...
142
click to vote
DSN
2007
IEEE
16 years 12 days ago
2007
IEEE
A quorum system is a collection of sets (quorums) of servers, where any two quorums intersect. Quorumbased protocols underly modern edge-computing architectures and throughput-sca...
184
click to vote
DATE
2005
IEEE
15 years 11 months ago
2005
IEEE
Complex real-time control system is a software dense and algorithms dense system, which needs modern software engineering techniques to design. UML is an object-oriented industria...
206
click to vote
ISORC
2008
IEEE
16 years 13 days ago
2008
IEEE
Effective resource management for distributed real-time embedded (DRE) systems is hard due to their unique characteristics, including (1) constraints in multiple resources and (2)...