2409 search results - page 408 / 482 » Logical systems for structured specifications |
126
Voted
CBMS
2006
IEEE
15 years 9 months ago
2006
IEEE
Computer based clinical guidelines have been developed to help caregivers in practicing medicine. GLIF3 (Guideline Interchange Format 3) is one of several standards that specify t...
107
Voted
CSFW
2006
IEEE
15 years 9 months ago
2006
IEEE
A coalition provides a virtual space across a network that allows its members to interact in a transparent manner. Coalitions may be formed for a variety of purposes. These range ...
136
Voted
ISCC
2006
IEEE
15 years 9 months ago
2006
IEEE
Abstract— Today data sources are pervasive and their number is growing tremendously. Current tools are not prepared to exploit this unprecedented amount of information and to cop...
130
click to vote
MICRO
2006
IEEE
15 years 9 months ago
2006
IEEE
We present and evaluate the idea of adaptive processor cache management. Specifically, we describe a novel and general scheme by which we can combine any two cache management alg...
123
Voted
ADBIS
2005
Springer
15 years 9 months ago
2005
Springer
The current period of IT development is characterized by an explosive growth of diverse information representation languages. Applying integration and composition of heterogeneous ...