Sciweavers

2145 search results - page 272 / 429
» Architectural Specifications in CASL
Sort
View
HASE
2007
IEEE
16 years 8 days ago
Integrating Product-Line Fault Tree Analysis into AADL Models
Fault Tree Analysis (FTA) is a safety-analysis technique that has been recently extended to accommodate product-line engineering for critical domains. This paper describes a tool-...
Hongyu Sun, Miriam Hauptman, Robyn R. Lutz
IEEEICCI
2007
IEEE
16 years 7 days ago
An Image Association Model of the Brodmann Areas
The ability to associate images is the basis for learning relationships involving vision, hearing, tactile sensation, and kinetic motion. A new architecture is described that has ...
Douglas S. Greer
GECCO
2007
Springer
201views Optimization» more  GECCO 2007»
16 years 2 days ago
Evolving explicit opponent models in game playing
Opponent models are necessary in games where the game state is only partially known to the player, since the player must infer the state of the game based on the opponent’s acti...
Alan J. Lockett, Charles L. Chen, Risto Miikkulain...
HICSS
2006
IEEE
146views Biometrics» more  HICSS 2006»
15 years 12 months ago
A Taxonomy for RFID
—Ben Clacy and Brian Jennings presented their recently published paper with the title of “service management: driving the future of IT” [1], which highlighted service oriente...
Taimur Hassan, Samir Chatterjee
DAC
2006
ACM
15 years 12 months ago
DFM: where's the proof of value?
How can design teams employ new tools and develop response methodologies yet still stay within design budgets? How much effort does it require to be an early adopter and what kind...
Shishpal Rawat, Raul Camposano, A. Kahng, Joseph S...