950 search results - page 169 / 190 » Tool Support for Model Checking of Web Application Designs |
156
Voted
SACMAT
2003
ACM
15 years 8 months ago
2003
ACM
The focus of access control in client/server environments is on protecting sensitive server resources by determining whether or not a client is authorized to access those resource...
148
Voted
AEI
2004
15 years 3 months ago
2004
Knowledge intensive engineering aims at flexible applications of a variety of product life cycle knowledge, such as design, manufacturing, operations, maintenance, and recycling. ...
137
Voted
ATAL
2007
Springer
15 years 9 months ago
2007
Springer
Determining the provenance of data, i.e. the process that led to that data, is vital in many disciplines. For example, in science, the process that produced a given result must be...
153
Voted
IPPS
2006
IEEE
15 years 9 months ago
2006
IEEE
Modern FPGA platforms provide the hardware and software infrastructure for building a bus-based System on Chip (SoC) that meet the applications requirements. The designer can cust...
121
Voted
WSC
2007
15 years 5 months ago
2007
Often the process and effort in building interoperable Command and Control (C2) systems and simulations can be arduous. Invariably the difficulty is in understanding what is inten...