1995 search results - page 147 / 399 » What's the Problem |
146
click to vote
SPLC
2008
15 years 5 months ago
2008
The adoption of Domain-Specific Modeling Languages (DSMLs) for generating framework-based applications has proved to be an effective way of enforcing the correct use of frameworks...
180
Voted
SIMVIS
2007
15 years 5 months ago
2007
Finding objects like music albums or wines in large databases is an inherently difficult problem, especially if users do not know exactly what they are looking for. We propose th...
135
click to vote
ENTCS
2006
15 years 4 months ago
2006
The application of formal methods to security protocol analysis has been extensively researched during the last 25 years. Several formalisms and (semi-)automatic tools for the ver...
133
click to vote
ICAI
2010
15 years 2 months ago
2010
A report on the experiments carried out with our robot in the Emotirob project is given in this paper, in which we show how we build emotion and personality in the robot. With chi...
115
click to vote
INFOCOM
2008
IEEE
15 years 10 months ago
2008
IEEE
—A fundamental problem in wireless networks is to estimate its throughput capacity - given a set of wireless nodes, and a set of connections, what is the maximum rate at which da...