3564 search results - page 263 / 713 » Evaluating a Formal Modelling Language |
166
click to vote
HICSS
1999
IEEE
15 years 10 months ago
1999
IEEE
By and large, cultural diversity is not being addressed in the design and development of user interfaces for international markets. Localization efforts that merely translate lang...
277
click to vote
ASMTA
2011
Springer
14 years 9 months ago
2011
Springer
Queueing delays experienced by packets buffered at a node are among the most difficult to predict when considering the performance of a flow in a network. The arrivals of packets a...
157
click to vote
ISAS
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. We present formal and practical foundations for Web service composition framework with composition correctness guarantees. We introduce contractual composition model base...
158
Voted
ECAI
2004
Springer
15 years 11 months ago
2004
Springer
Action formalisms like the fluent calculus have been developed to endow logic-based agents with the abilities to reason about the effects of actions, to execute high-level strateg...
138
click to vote
IUI
2009
ACM
16 years 3 months ago
2009
ACM
Spoken language interfaces based on interactive semantic language models [16, 14] allow probabilities for hypothesized words to be conditioned on the semantic interpretation of th...