4592 search results - page 212 / 919 » Framework for Studying Substitution |
176
click to vote
FTWEB
2006
15 years 7 months ago
2006
This text sets out a series of approaches to the analysis and synthesis of the World Wide Web, and other web-like information structures. A comprehensive set of research questions...
204
click to vote
ENTCS
2007
15 years 7 months ago
2007
The timed concurrent constraint programming language (tccp in short) was introduced for modeling reactive systems. This language allows one to model in a very intuitive way typica...
244
click to vote
INFORMATICALT
2007
15 years 7 months ago
2007
A modified version of the Bellare and Rogaway (1993) adversarial model is encoded using Asynchronous Product Automata (APA). A model checker tool, Simple Homomorphism Verificatio...
188
click to vote
AI
2004
Springer
15 years 7 months ago
2004
Springer
This paper presents a new model for multi-issue negotiation under time constraints in an incomplete information setting. The issues to be bargained over can be associated with a s...
207
click to vote
ENGL
2008
15 years 5 months ago
2008
Mobile application development belongs on the complicated, but quite regular software development environment that includes many different solutions possibilities in the developmen...