Sciweavers

1744 search results - page 36 / 349
» What's There to Talk About
Sort
View
FASE
2006
Springer
14 years 21 days ago
Concerned About Separation
Abstract. The separation of concerns, as a conceptual tool, enables us to manage the complexity of the software systems that we develop. There have been a number of approaches aime...
Hafedh Mili, Houari A. Sahraoui, Hakim Lounis, Ham...
ECSQARU
2009
Springer
14 years 1 months ago
A Simple Modal Logic for Reasoning about Revealed Beliefs
Abstract. Even though in Artificial Intelligence, a set of classical logical formulae is often called a belief base, reasoning about beliefs requires more than the language of cla...
Mohua Banerjee, Didier Dubois
SIGUCCS
2003
ACM
14 years 2 months ago
Deep in the heart of client services: it's not just about hardware and software
“Client Services”, “User Services”, “Customer Service”: whatever we call it at our various colleges and universities, it’s not just about fixing hardware and softwar...
Cynthia A. Murnan
SIGMETRICS
2010
ACM
156views Hardware» more  SIGMETRICS 2010»
13 years 7 months ago
A query language and runtime tool for evaluating behavior of multi-tier servers
As modern multi-tier systems are becoming increasingly large and complex, it becomes more difficult for system analysts to understand the overall behavior of the system, and diag...
Saeed Ghanbari, Gokul Soundararajan, Cristiana Amz...
SYNTHESE
2008
68views more  SYNTHESE 2008»
13 years 9 months ago
On what we can ensure
: The Conjunction Principle says, roughly, that if the truth of a conjunction can be brought about, then the truth of each conjunct can be brought about. The current essay argues t...
Benjamin Schnieder