860 search results - page 112 / 172 » A Process Algebra Based Verification of a Production System |
121
Voted
SAC
2003
ACM
15 years 8 months ago
2003
ACM
Recent developments in mobile technologies and associated economies of scale via mature manufacturing processes have made possible the construction of pervasive systems in specifi...
118
Voted
ACSAC
2001
IEEE
15 years 7 months ago
2001
IEEE
eXpert-BSM is a real time forward-reasoning expert system that analyzes Sun Solaris audit trails. Based on many years of intrusion detection research, eXpert-BSM's knowledge ...
154
Voted
IFIP12
2009
15 years 1 months ago
2009
Social Tagging is the process by which many users add metadata in the form of keywords, to annotate and categorize items (songs, pictures, web links, products etc.). Social tagging...
121
Voted
WSC
1997
15 years 4 months ago
1997
Today's business climate for manufacturers requires low inventory, quick response systems that turn out a wide variety of products. Since many companies are reaching physical...
133
click to vote
VLSID
2002
IEEE
16 years 4 months ago
2002
IEEE
The development of application specific instruction set processors comprises several design phases: architecture exploration, software tools design, system verification and design...