11151 search results - page 1888 / 2231 » On the Complexity of Model Expansion |
196
click to vote
DEXAW
2005
IEEE
16 years 11 days ago
2005
IEEE
We describe a methodology for creating composite web services, a key ingredient in spatial data infrastructure (SDI) applications, which we demonstrate on an emergency management ...
161
click to vote
DFT
2005
IEEE
16 years 11 days ago
2005
IEEE
Detection of defective pixels that develop on-line is a vital part of fault tolerant schemes for repairing imagers during operation. This paper presents a new algorithm for the id...
174
click to vote
EH
2005
IEEE
16 years 11 days ago
2005
IEEE
The hybrid redundancy structure found at the cellular level of higher animals provides complex organism with the three key features of a reliability-engineered system: fault toler...
168
click to vote
FOCS
2005
IEEE
16 years 11 days ago
2005
IEEE
The automata-theoretic approach is one of the most fundamental approaches to developing decision procedures in mathematical logics. To decide whether a formula in a logic with the...
374
click to vote
HICSS
2005
IEEE
16 years 11 days ago
2005
IEEE
This paper explores the role of Information Technology (IT) in the management of municipally-owned and operated public utilities. Through semi-structured interviews of senior mana...