496 search results - page 71 / 100 » Using the Temporal Logic RDL for Design Specifications |
LISA
2007
15 years 1 days ago
2007
Firewall policies can be extremely complex and difficult to maintain, especially on networks with more than a few hundred machines. The difficulty of configuring a firewall proper...
102
click to vote
ICS
2007
Tsinghua U.
15 years 3 months ago
2007
Tsinghua U.
Grid Workflows are emerging as practical programming models for solving large e-scientific problems on the Grid. However, it is typically assumed that the workflow components eith...
RTSS
2000
IEEE
15 years 1 months ago
2000
IEEE
Many industrial applications with real-time demands are composed of mixed sets of tasks with a variety of requirements. These can be in the form of standard timing constraints, su...
102
click to vote
EDBT
2006
ACM
15 years 9 months ago
2006
ACM
Advances of sensor and RFID technology provide significant new power for humans to sense, understand and manage the world. RFID provides fast data collection with precise identific...
DOLAP
2008
ACM
14 years 11 months ago
2008
ACM
The development of data warehouses is based on a threestage process that starts specifying both the static and dynamic properties of on-line analytical processing (OLAP) applicati...