2875 search results - page 340 / 575 » Model checking agentspeak |
122
click to vote
ICIP
2009
IEEE
15 years 1 months ago
2009
IEEE
We introduce a new SIR particle filter that performs tracking in a joint feature space where pixel domain data are fused with measurements obtained from an 18-channel modulation d...
158
Voted
ICOODB
2009
15 years 1 months ago
2009
The integration of database and programming languages is made difficult by the different data models and type systems prevalent in each field. Functional-object query languages con...
125
Voted
SIGMOD
2011
ACM
14 years 6 months ago
2011
ACM
Considering a broad definition for service contracts (beyond web services and software, e.g. airline tickets and insurance policies), we tackle the challenges of building a high ...
158
Voted
ESORICS
2011
Springer
14 years 3 months ago
2011
Springer
A common client-side countermeasure against Cross Site Request Forgery (CSRF) is to strip session and authentication information from malicious requests. The difficulty however is ...
132
Voted
AOSD
2012
ACM
13 years 11 months ago
2012
ACM
In this work we consider specification and compositional verification for interference detection when several aspects are woven together under joint-weaving semantics without re...