4418 search results - page 788 / 884 » A Formal Approach to Computer Systems Requirements Documenta... |
172
click to vote
ACSD
2007
IEEE
16 years 20 days ago
2007
IEEE
We study sensor minimization problems in the context of fault diagnosis. Fault diagnosis consists in synthesizing a diagnoser that observes a given plant and identifies faults in...
157
click to vote
DSN
2007
IEEE
16 years 20 days ago
2007
IEEE
The Domain Name System (DNS) is a critical Internet infrastructure that provides name to address mapping services. In the past few years, distributed denial of service (DDoS) atta...
197
click to vote
3DPVT
2006
IEEE
16 years 12 days ago
2006
IEEE
The spherical harmonic (SPHARM) description is a powerful surface modeling technique that can model arbitrarily shaped but simply connected three dimensional (3D) objects. Because...
175
click to vote
SKG
2006
IEEE
16 years 10 days ago
2006
IEEE
— As the Service Oriented Architecture (SOA) principles have gained importance, an emerging need has appeared for methodologies to locate desired services that provide access to ...
177
click to vote
CCGRID
2005
IEEE
15 years 12 months ago
2005
IEEE
Data services for the Grid have focussed so far primarily on virtualising access to distributed databases, and encapsulating file location. However, orchestration of services requ...