2776 search results - page 320 / 556 » System-Level Abstraction Semantics |
174
click to vote
IAT
2010
IEEE
15 years 4 months ago
2010
IEEE
Abstract--This position paper describes the challenges related to federated enterprise search over heterogeneous product information sources. It focuses on the aspect of finding re...
163
click to vote
IVA
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. Different turn-taking strategies of an agent influence the impression that people have of it. We recorded conversations of a human with an interviewing agent, controlled ...
185
click to vote
CSE
2009
IEEE
16 years 1 months ago
2009
IEEE
Abstract—Vocabulary alignment is a main challenge in distributed access control as peers should understand each other’s policies unambiguously. Ontologies enable mutual underst...
163
click to vote
RTSS
2009
IEEE
16 years 1 months ago
2009
IEEE
Abstract—The Hierarchical Timing Language (HTL) is a realtime coordination language for distributed control systems. HTL programs must be checked for well-formedness, race freedo...
155
click to vote
CALCO
2009
Springer
16 years 1 months ago
2009
Springer
d abstract) Sam Staton Computer Laboratory, University of Cambridge Abstract. A labelled transition system can be understood as a coalgebra for a particular endofunctor on the cate...