11160 search results - page 2113 / 2232 » Incompleteness in a General Setting |
143
click to vote
ECAI
2008
Springer
15 years 5 months ago
2008
Springer
Abstract. We study privacy guarantees for the owner of an information system who wants to share some of the information in the system with clients while keeping some other informat...
154
click to vote
EMSOFT
2008
Springer
15 years 5 months ago
2008
Springer
This paper presents an EDF-based algorithm, called Earliest Deadline Deferrable Portion (EDDP), for efficient scheduling of recurrent real-time tasks on multiprocessor systems. Th...
153
Voted
EMSOFT
2008
Springer
15 years 5 months ago
2008
Springer
The Simulink/Stateflow (SL/SF) environment from Mathworks is becoming the de facto standard in industry for model based development of embedded control systems. Many commercial to...
128
click to vote
ADBIS
2010
Springer
15 years 5 months ago
2010
Springer
Medical Information Systems (MIS) in general, like any other complex and large system, can be based on centralized or distributed DBMS. Centralized system is much easier for implem...
128
click to vote
FORMATS
2008
Springer
15 years 5 months ago
2008
Springer
The common metric temporal logics for continuous time were shown to be insufficient, when it was proved in [7, 12] that they cannot express a modality suggested by Pnueli. Moreover...