9642 search results - page 1539 / 1929 » Semantics in Multimedia Systems |
191
click to vote
JITECH
2010
15 years 1 days 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...
220
Voted
ICDE
2011
IEEE
14 years 9 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 ...
169
Voted
AAAI
2011
14 years 5 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...
187
Voted
CCS
2011
ACM
14 years 5 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-...
181
click to vote
POPL
2012
ACM
14 years 24 days 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...