Sciweavers

3555 search results - page 459 / 711
» Security-Critical System Development with Extended Use Cases
Sort
View
COMPSAC
2002
IEEE
15 years 12 months ago
A Structured Approach to Handling On-Line Interface Upgrades
The Integration of complex systems out of existing systems is an active area of research and development. There are many practical situations in which the interfaces of the compon...
Cliff B. Jones, Alexander B. Romanovsky, Ian Welch
CDC
2009
IEEE
134views Control Systems» more  CDC 2009»
15 years 10 months ago
Neural control of the Wells turbine-generator module
— Wave energy is one of the most promising forms of ocean renewable sources because of its high availability. The Wells turbine has been one of the defining technologies in the d...
Modesto Amundarain, Mikel A. Goitia, Aitor J. Garr...
AAAI
2007
15 years 9 months ago
Expressiveness of ADL and Golog: Functions Make a Difference
The main focus in the area of action languages, such as GOLOG, was put on expressive power, while the development in the area of action planning was focused on efficient plan gen...
Gabriele Röger, Bernhard Nebel
CHI
2010
ACM
15 years 9 months ago
Countertop responsive mirror: supporting physical retail shopping for sellers, buyers and companions
We examine opportunities for ubiquitous technologies in retail shopping, jewelry shopping in this case, to supplement the unique information needs inherent to physical trials of t...
Maurice Chu, Brinda Dalal, Alan Walendowski, Bo Be...
EUROPKI
2009
Springer
15 years 4 months ago
ABUSE: PKI for Real-World Email Trust
Current PKI-based email systems (such as X.509 S/MIME and PGP/ MIME) potentially enable a recipient to determine a name and organizational affiliation of the sender. This informati...
Chris Masone, Sean W. Smith