5863 search results - page 1074 / 1173 » On Model-Checking of P Systems |
154
Voted
ICEIS
2010
IEEE
15 years 1 months ago
2010
IEEE
Regularities in the world are human defined. Patterns in the observed phenomena are there because we define and recognize them as such. Automatic pattern recognition tries to bridg...
133
click to vote
ISOLA
2010
Springer
15 years 1 months ago
2010
Springer
In the Taverna workflow design and enactment tool, users often find it difficult to both manually discover a service or workflow fragment that executes a desired operation on a pie...
183
Voted
ISVD
2010
IEEE
15 years 1 months ago
2010
IEEE
An interesting property of the Voronoi tessellation is studied in the context of its application to the analysis of hydration shells in computer simulation of solutions. Namely the...
183
Voted
MOBIHOC
2010
ACM
15 years 1 months ago
2010
ACM
We explore the problem of detecting whether a device has moved within a room. Our approach relies on comparing summaries of received signal strength measurements over time, which ...
138
Voted
RAID
2010
Springer
15 years 1 months ago
2010
Springer
We introduce BotSwindler, a bait injection system designed to delude and detect crimeware by forcing it to reveal during the exploitation of monitored information. The implementati...