932 search results - page 109 / 187 » Verifying Progress in Timed Systems |
129
click to vote
FOCI
2007
IEEE
15 years 10 months ago
2007
IEEE
Recent progress in genomics and proteomics makes it possible to understand the biological networks at the systems level. We aim to develop computational models of learning and memo...
126
click to vote
ACNS
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. We propose a novel framework named Hidden Colored PetriNet for Alert Correlation and Understanding (HCPN-ACU) in intrusion detection system. This model is based upon the ...
114
click to vote
ICCS
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. Physical and biogeochemical ocean dynamics can be intermittent and highly variable, and involve interactions on multiple scales. In general, the oceanic fields, processe...
156
click to vote
LREC
2008
15 years 5 months ago
2008
In the field of Natural Language Processing, in order to work out a thematic representation system of general knowledge, methods relying on thesaurus have been used for about twen...
116
click to vote
EJIS
2006
15 years 4 months ago
2006
This paper presents the design of a business-aligned information system (IS) from an actor-network perspective, viewing non-human intermediaries jointly as inscriptions and bounda...