10038 search results - page 1639 / 2008 » Model Checking for Managers |
223
Voted
KESAMSTA
2009
Springer
15 years 11 months ago
2009
Springer
ent Artificial Immune Systems (MAAIS) for Intrusion Detection: Abstraction from Danger Theory Chung-Ming Ou, C.R. Ou Ants-like Agents: a Model and Analysis Based on Natural Ants Be...
179
click to vote
ISPW
1996
IEEE
15 years 10 months ago
1996
IEEE
A 1968 study of the software process led, inter alia, to the observation that the software process constitutes a feedback system. Attempts at its management and improvement must t...
178
click to vote
CNSR
2004
IEEE
15 years 10 months ago
2004
IEEE
In order to control and manage highly aggregated Internet traffic flows efficiently, we need to be able to categorize flows into distinct classes and to be knowledgeable about the...
206
click to vote
ELPUB
2008
ACM
15 years 8 months ago
2008
ACM
The High-Energy Physics (HEP) community spearheaded Open Access with over half a century of dissemination of pre-prints, culminating in the arXiv system. It is now proposing an Op...
166
click to vote
WSC
2000
15 years 8 months ago
2000
Circumstance Descriptors are offered as a way to organize spatial and other military knowledge that may be difficult to formulate, particularly the kinds of details that are most ...