7080 search results - page 333 / 1416 » Designing High Integrity Systems Using Aspects |
176
Voted
TOG
2012
13 years 6 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...
127
Voted
CIA
2006
Springer
15 years 7 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,...
136
Voted
ICDCS
2003
IEEE
15 years 9 months 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...
137
Voted
DEXAW
1999
IEEE
15 years 8 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...
154
Voted
CDC
2010
IEEE
14 years 10 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...