10038 search results - page 1492 / 2008 » Model Checking for Managers |
177
Voted
ICWE
2004
Springer
16 years 7 days ago
2004
Springer
Abstract. In recent years, more and more publications and material for studying and teaching, e. g. for Web-based teaching (WBT), appear "online" and digital libraries ar...
174
Voted
IFIP
2004
Springer
16 years 7 days ago
2004
Springer
Current firewall configuration languages have no well founded semantics. Each firewall implements its own algorithm that parses specific proprietary languages. The main conseq...
159
click to vote
PACS
2004
Springer
16 years 6 days ago
2004
Springer
Management of power in data centers is driven by the need to not exceed circuit capacity. The methods employed in the oversight of these power circuits are typically static and ad...
144
Voted
VLDB
2004
ACM
16 years 6 days ago
2004
ACM
P3P [23, 24] is a set of standards that allow corporations to declare their privacy policies. Hippocratic Databases [6] have been proposed to implement such policies within a corp...
156
click to vote
HICSS
2003
IEEE
16 years 4 days ago
2003
IEEE
This paper crystallises out some key findings of knowledge management practices from a Finnish survey on the insurance industry. 15 Finnish insurance companies of different sizes ...