11160 search results - page 333 / 2232 » Incompleteness in a General Setting |
167
click to vote
ECBS
2009
IEEE
16 years 1 months ago
2009
IEEE
Model Driven Engineering has shown the feasibility to generate tools (editors, analyzers …) from models and for a domain. Unfortunately these generated tools are much focused wh...
173
click to vote
IAT
2009
IEEE
16 years 1 months ago
2009
IEEE
Abstract. A team of mobile sensors can be used for coverage of targets in different environments. The dynamic nature of such an application requires the team of agents to adjust th...
169
click to vote
ISPW
2008
IEEE
16 years 1 months ago
2008
IEEE
Most process models calibrate their internal settings using historical data. Collecting this data is expensive, tedious, and often an incomplete process. Is it possible to make acc...
178
click to vote
CAISE
2007
Springer
16 years 28 days ago
2007
Springer
In distributed work environments, where users are sharing and searching resources, ensuring an appropriate ranking at remote peers is a key problem. While this issue has been inves...
142
click to vote
CONCUR
2007
Springer
16 years 28 days ago
2007
Springer
It is well known that bisimulation on µ-expressions cannot be finitely axiomatised in equational logic. Complete axiomatisations such as those of Milner and Bloom/´Esik necessar...