Sciweavers

8099 search results - page 517 / 1620
» Higher-Order Task Models
Sort
View
ICWE
2005
Springer
16 years 14 days ago
Adding Usability to Web Engineering Models and Tools
In this paper, we examine how the task of creating usable websites can be made more efficient. Models and generation of websites have been a central issue for Web Engineering over ...
Richard Atterer, Albrecht Schmidt
SAMOS
2005
Springer
16 years 13 days ago
Modeling NoC Architectures by Means of Deterministic and Stochastic Petri Nets
The design of appropriate communication architectures for complex Systems-on-Chip (SoC) is a challenging task. One promising alternative to solve these problems are Networks-on-Chi...
Holger Blume, Thorsten von Sydow, Daniel Becker, T...
SAT
2005
Springer
145views Hardware» more  SAT 2005»
16 years 13 days ago
A New Approach to Model Counting
We introduce ApproxCount, an algorithm that approximates the number of satisfying assignments or models of a formula in propositional logic. Many AI tasks, such as calculating degr...
Wei Wei, Bart Selman
ECML
2003
Springer
16 years 5 days ago
Optimizing Local Probability Models for Statistical Parsing
Abstract. This paper studies the properties and performance of models for estimating local probability distributions which are used as components of larger probabilistic systems â€...
Kristina Toutanova, Mark Mitchell, Christopher D. ...
EUROPAR
2003
Springer
16 years 5 days ago
A Coordination Model for ad hoc Mobile Systems
The growing success of wireless ad hoc networks and portable hardware devices presents many interesting problems to software engineers. Particular, coordination is a challenging t...
Marco Tulio de Oliveira Valente, Fernando Magno Qu...