9067 search results - page 1487 / 1814 » Adaptive Model Checking |
200
click to vote
FPL
2006
Springer
15 years 11 months ago
2006
Springer
This paper provides a realistic case study of using the previously introduced SIMPPL system architectural model, which fixes the physical interface and communication protocols bet...
191
click to vote
FQAS
2006
Springer
15 years 11 months ago
2006
Springer
In focused XML retrieval, information retrieval systems have to find out which are the most appropriate retrieval units and return only these to the user, avoiding overlapping elem...
171
click to vote
AI
2001
Springer
15 years 11 months ago
2001
Springer
A system's constraints characterizes what that system can do. However, a dynamic environment may require that a system alter its constraints. If feedback about a specific situ...
207
click to vote
CEC
2003
IEEE
15 years 11 months ago
2003
IEEE
AbstractSpam, the electronic equivalent of junk mail, affects over 600 million users worldwide. Even as anti-spam solutions change to limit the amount of spam sent to users, the se...
181
click to vote
ER
2000
Springer
15 years 11 months ago
2000
Springer
Taxonomies are an important part of conceptual modeling. They provide substantial structural information, and are typically the key elements in integration eorts, however there ha...