Sciweavers

20833 search results - page 3939 / 4167
» Hidden process models
Sort
View
123
Voted
CCR
2008
76views more  CCR 2008»
15 years 4 months ago
WebClass: adding rigor to manual labeling of traffic anomalies
Despite the flurry of anomaly-detection papers in recent years, effective ways to validate and compare proposed solutions have remained elusive. We argue that evaluating anomaly d...
Haakon Ringberg, Augustin Soule, Jennifer Rexford
CORR
2010
Springer
176views Education» more  CORR 2010»
15 years 4 months ago
Bus Protocols: MSC-Based Specifications and Translation into Program of Verification Tool for Formal Verification
Message Sequence Charts (MSCs) are an appealing visual formalism mainly used in the early stages of system design to capture the system requirements. However, if we move towards a...
Kamrul Hasan Talukder
148
Voted
AIM
2006
15 years 4 months ago
Comparative Analysis of Frameworks for Knowledge-Intensive Intelligent Agents
maintain awareness of its environment for a long period of time. Additionally, knowledge-intensive agents must be engineered such that their knowledge can be easily updated as envi...
Randolph M. Jones, Robert E. Wray III
APIN
2006
90views more  APIN 2006»
15 years 4 months ago
AgentTeamwork: Coordinating grid-computing jobs with mobile agents
AgentTeamwork is a grid-computing middleware system that dispatches a collection of mobile agents to coordinate a user job over remote computing nodes in a decentralized manner. I...
Munehiro Fukuda, Koichi Kashiwagi, Shin-ya Kobayas...
BMCBI
2006
112views more  BMCBI 2006»
15 years 4 months ago
MassSorter: a tool for administrating and analyzing data from mass spectrometry experiments on proteins with known amino acid se
Background: Proteomics is the study of the proteome, and is critical to the understanding of cellular processes. Two central and related tasks of proteomics are protein identifica...
Harald Barsnes, Svein-Ole Mikalsen, Ingvar Eidhamm...
« Prev « First page 3939 / 4167 Last » Next »