860 search results - page 112 / 172 » A Process Algebra Based Verification of a Production System |
SAC
2003
ACM
14 years 2 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...
ACSAC
2001
IEEE
14 years 20 days 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 ...
IFIP12
2009
13 years 6 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...
WSC
1997
13 years 10 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...
VLSID
2002
IEEE
14 years 9 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...