4693 search results - page 257 / 939 » Verifying Hybrid Systems |
150
click to vote
HICSS
2005
IEEE
16 years 7 days ago
2005
IEEE
The electronic markets hypothesis (EMH) in the information systems (IS) literature suggests that information technology (IT) will reduce coordination costs across firms, leading t...
146
click to vote
ISDA
2005
IEEE
16 years 6 days ago
2005
IEEE
Crew grouping is an important problem and formulating a good solution always involves many challenges. For example, grouping soldiers intelligently to tank combat units, we should...
184
click to vote
RTCSA
2005
IEEE
16 years 6 days ago
2005
IEEE
In this report, we propose an approach to integrate a hybrid garbage collection algorithm into the current response time analysis framework for real-time systems. In our approach,...
167
Voted
ESWS
2010
Springer
15 years 11 months ago
2010
Springer
Abstract. Spatio-temporal data management has progressed significantly towards efficient storage and indexing of mobility data. Typically such mobility data analytics is assumed t...
194
click to vote
IPPS
1999
IEEE
15 years 11 months ago
1999
IEEE
In this paper we propose the use of an optical network not only as the communication medium, but also as a system-wide cache for the shared data in a multiprocessor. More specifica...