5863 search results - page 955 / 1173 » On Model-Checking of P Systems |
188
click to vote
EUROSEC
2008
ACM
15 years 8 months ago
2008
ACM
IP Traceback systems facilitate tracing of IP packets back to their origin, despite possibly forged or overwritten source address data. A common shortcoming of existing proposals ...
132
click to vote
LREC
2010
15 years 8 months ago
2010
SINotas is a data-to-text NLG application intended to produce short textual reports on students'academic performance from a database conveying their grades, weekly attendance...
186
click to vote
ICWN
2007
15 years 8 months ago
2007
—To meet the demand for broadband wireless communication, wireless systems should work well in typical wireless environments, characterized by the path loss of the signals, multi...
173
click to vote
MIE
2008
15 years 8 months ago
2008
In a competitive health-care market, hospitals have to focus on ways to streamline their processes in order to deliver high quality care while at the same time reducing costs. To a...
207
click to vote
MOBIS
2008
15 years 8 months ago
2008
Abstract: Regulatory compliance sets new requirements for business process management (BPM). Companies seek to enhance their corporate governance processes and are required to put ...