12052 search results - page 566 / 2411 » computing 2010 |
219
click to vote
EICS
2010
ACM
15 years 9 months ago
2010
ACM
In this paper we present a method and the associated tool support able to exploit the content of Web service annotations in model-based user interface design and development. We a...
163
click to vote
SAC
2010
ACM
15 years 7 months ago
2010
ACM
Nowadays, the interaction between a product and the user is described using different methods than for product to product communication. This makes it difficult to replace users a...
203
click to vote
CIE
2010
Springer
15 years 12 months ago
2010
Springer
In this note, we use lower bounds on Boolean multiplicative complexity to prove lower bounds on Boolean circuit complexity. We give a very simple proof of a 7n/3 − c lower bound ...
180
click to vote
SAC
2010
ACM
16 years 1 months ago
2010
ACM
Modeling is now an essential ingredient in business process management and information systems development. The general usefulness of models in these areas is therefore generally ...
167
click to vote
GC
2010
Springer
15 years 5 months ago
2010
Springer
Intriguing and tight sets of vertices of point-line geometries have recently been studied in the literature. In this paper, we indicate a more general framework for dealing with t...