2293 search results - page 405 / 459 » Temporal Logic in Information Systems |
HICSS
1999
IEEE
15 years 2 months ago
1999
IEEE
Millions of small heterogeneous computers are poised to spread into the infrastructure of our society. Though mostly inconspicuous today, disguised as nothing more than PIM (perso...
CIKM
1999
Springer
15 years 2 months ago
1999
Springer
A number of recent technological trends have made data intensive applications such as continuous media audio and video servers a reality. These servers are expected to play an i...
EATIS
2007
ACM
15 years 1 months ago
2007
ACM
Resource and service discovery, data transfer or replica management, are some examples of basic operations of a grid which can gain efficiency by using multicast transmission tech...
CAISE
2006
Springer
15 years 1 months ago
2006
Springer
The role of ontologies in knowledge base systems is gradually increasing. Along with the growth of Internet based applications and ecommerce, the need for easy interoperability bet...
CAISE
2008
Springer
14 years 11 months ago
2008
Springer
Abstract. The European Space Agency (ESA) has created the Simulation Model Portability 2 (SMP2) standard with the purpose to provide a design solution for the project of Spacecraft...