1522 search results - page 174 / 305 » Supporting Dynamic Process Specifications Using Communicatio... |
200
Voted
CADE
2002
Springer
16 years 2 months ago
2002
Springer
Abstract. Description Logics are a family of class based knowledge representation formalisms characterised by the use of various constructors to build complex classes from simpler ...
119
Voted
VLDB
1997
ACM
15 years 6 months ago
1997
ACM
The paper discusses the issue of views in the Web context. We introduce a set of languages for managing and restructuring data coming from the World Wide Web. We present a specifi...
132
Voted
HICSS
2007
IEEE
15 years 9 months ago
2007
IEEE
Recently, Continua Health Alliance has brought together a powerhouse team, including Cisco, IBM, Motorola and others, for personal telehealth products and services. This team will...
117
Voted
PPOPP
2009
ACM
16 years 3 months ago
2009
ACM
Researchers in transactional memory (TM) have proposed open nesting as a methodology for increasing the concurrency of transactional programs. The idea is to ignore "low-leve...
122
Voted
FLAIRS
2001
15 years 4 months ago
2001
/Background The SOLAR and HELIOSPHERIC OBSERVATORY (SOHO) project [SOHO Web Page] is being carried out by the European Space Agency (ESA) and the US National Aeronautics and Space ...