16616 search results - page 109 / 3324 » Extending Extended Vacuity |
95
Voted
GD
1995
Springer
15 years 4 months ago
1995
Springer
It is a di cult problem to display large, complex graphs in a manner which furthers comprehension. A useful approach is to expand selected sections foci of the graph revealing de...
93
Voted
CSE
2009
IEEE
15 years 4 months ago
2009
IEEE
—Context, the pieces of information that capture the characteristics of ubiquitous computing environment, is often imprecise and incomplete due to user mobility, unreliable wirel...
AAAI
2008
15 years 3 months ago
2008
The interpreted system model offers a computationally grounded model, in terms of the states of computer processes, to S5 epistemic logics. This paper extends the interpreted syst...
110
Voted
ATAL
2008
Springer
15 years 2 months ago
2008
Springer
Virtual Organizations (VOs) are becoming an increasingly important research topic in the field of Multi-Agent Systems (MAS). The problem of selecting suitable counterparts to inte...
109
Voted
CAISE
2008
Springer
15 years 2 months ago
2008
Springer
This work is done as part of the Tacos project1 whose aims is to define a component-based approach to specify trustworthy systems from the requirements phase to the specification p...