2004 search results - page 262 / 401 » Comparison of Model Checking Tools for Information Systems |
137
click to vote
ESORICS
2008
Springer
15 years 6 months ago
2008
Springer
Current tools for analysing information flow in programs build upon ideas going back to Denning's work from the 70's. These systems enforce an imperfect notion of informa...
108
Voted
GLVLSI
2000
IEEE
15 years 9 months ago
2000
IEEE
System-level power exploration requires tools for estimation of the overall power consumed by a system, as well as a detailed breakdown of the consumption of its main functional b...
183
click to vote
ASSETS
2006
ACM
15 years 10 months ago
2006
ACM
In previous work we have presented a prototype of an assistant system for the blind that can be used for self-localization and interactive object identification of static objects ...
116
Voted
ICWE
2004
Springer
15 years 10 months ago
2004
Springer
In this paper we thoroughly discuss design and implementation issues for semantic search and navigation to ontology-based metrics and indicators metadata. These semantic search and...
152
click to vote
AGENTS
2000
Springer
15 years 9 months ago
2000
Springer
Abstract. One of the reasons for attending to agent technology is the evergrowing complexity of information systems and the increasing difficulty to foresee and plan for all potent...