9642 search results - page 1539 / 1929 » Semantics in Multimedia Systems |
120
click to vote
JITECH
2010
14 years 6 months ago
2010
Formal models of business processes are used for a variety of purposes. But where the elicitation of the characteristics of a business process usually takes place in a collaborati...
145
click to vote
ICDE
2011
IEEE
14 years 3 months ago
2011
IEEE
— As sensors continue to proliferate, the capabilities of effectively querying not only sensor data but also its metadata becomes important in a wide range of applications. This ...
104
click to vote
AAAI
2011
13 years 11 months ago
2011
This paper describes a new model for understanding natural language commands given to autonomous systems that perform navigation and mobile manipulation in semi-structured environ...
116
click to vote
CCS
2011
ACM
13 years 11 months ago
2011
ACM
We consider security properties of cryptographic protocols that can be modeled using the notion of trace equivalence. The notion of equivalence is crucial when specifying privacy-...
119
click to vote
POPL
2012
ACM
13 years 7 months ago
2012
ACM
Since software systems are becoming increasingly more concurrent and distributed, modeling and analysis of interactions among their components is a crucial problem. In several app...