7080 search results - page 333 / 1416 » Designing High Integrity Systems Using Aspects |
229
click to vote
TOG
2012
13 years 9 months ago
2012
Geometric modeling and the physical validity of shapes are traditionally considered independently. This makes creating aesthetically pleasing yet physically valid models challengi...
174
click to vote
CIA
2006
Springer
15 years 10 months ago
2006
Springer
Imagine a future environment where networks of agents - people, robots and software agents - interact with sophisticated sensor grids and environmental actuators to provide advice,...
176
click to vote
ICDCS
2003
IEEE
16 years 9 hour ago
2003
IEEE
We present the design of a distributed store that offers various levels of security guarantees while tolerating a limited number of nodes that are compromised by an adversary. The...
189
click to vote
DEXAW
1999
IEEE
15 years 11 months ago
1999
IEEE
Web based systems have been shown to be useful tools for supporting educational communication for teachers and students. In this paper we present such a system, which is an Integr...
205
click to vote
CDC
2010
IEEE
15 years 1 months ago
2010
IEEE
In this paper, network-based cooperative control of nonlinear dynamical systems is investigated. A theorem on cooperative stability is presented for designing nonlinear consensus a...