2004 search results - page 246 / 401 » Comparison of Model Checking Tools for Information Systems |
173
click to vote
OPODIS
2004
15 years 6 months ago
2004
Embedded Systems are components integrating software and hardware jointly and specifically designed to provide given functionalities. These components may be used in many different...
109
click to vote
OWLED
2007
15 years 6 months ago
2007
International organizations like FAO are intrinsically multilingual. FAO is currently experimenting with semantic-oriented technologies based on ontologies, with the purpose of int...
129
click to vote
RCC
2000
15 years 4 months ago
2000
Large-scale distributed hypermedia systems comprise a generation of powerful tools to meet the demands of the new information globalization era. The most promising of such systems...
153
click to vote
CDC
2008
IEEE
15 years 11 months ago
2008
IEEE
Abstract— This paper considers the control problem for selfservowriting in disk drives where information propagation occurs in two independent directions, i.e. time and track num...
123
click to vote
CCR
2005
15 years 4 months ago
2005
We focus in this paper on Internet flows, consider their contributions to the overall traffic per time unit or bin, and perform a multi-scale and multi-protocol analysis to explor...