320 search results - page 40 / 64 » Constructing Invariants for Hybrid Systems |
170
click to vote
FUIN
2008
15 years 6 months ago
2008
We are concerned with the problem of defining a complex, hybrid, agent based discrete system in a modular way. The modularity results from looking at the system from a number of di...
182
click to vote
ADBIS
2007
Springer
16 years 2 days ago
2007
Springer
The exponential growth of the web and the extended use of database management systems in widely distributed information systems has brought to the fore the need for seamless interc...
150
click to vote
DNA
2006
Springer
15 years 7 months ago
2006
Springer
Recent successes in building large scale DNA nanostructures and in constructing DNA nanomechanical devices have inspired scientists to design more complex nanoscale systems. The de...
153
click to vote
KRDB
1994
15 years 7 months ago
1994
We propose an architecture for large-scale knowledge base systems based on database technologies and the three levels of semantic construct - frames, objects and relations. The in...
155
click to vote
ICST
2008
IEEE
16 years 9 days ago
2008
IEEE
Real-time embedded systems typically include concurrent tasks of different priorities with time-dependent operations accessing common resources. In this context, unsynchronized pa...