4266 search results - page 625 / 854 » A Framework for Defining Logics |
179
Voted
EEMMAS
2007
Springer
16 years 25 days ago
2007
Springer
Abstract. Collaborative Ubiquitous Environments (CUEs) are environments supporting collaboration among persons in a ubiquitous computing setting. This paper shows how results of th...
179
click to vote
ICWE
2007
Springer
16 years 24 days ago
2007
Springer
This paper presents a model-driven approach to the development of web applications based on the Ubiquitous Web Application (UWA) design framework, the Model-View-Controller (MVC) a...
192
click to vote
LPAR
2007
Springer
16 years 24 days ago
2007
Springer
Operational models of (security) protocols, on one hand, are readable and conveniently match their implementation (at a certain abstraction level). Epistemic models, on the other h...
194
click to vote
MICAI
2007
Springer
16 years 24 days ago
2007
Springer
This paper describes a fault diagnosis system (FDS) for non-linear plants based on fuzzy logic. The proposed scheme, named VisualBlock-FIR, runs under the Simulink framework and en...
181
click to vote
SARA
2007
Springer
16 years 23 days ago
2007
Springer
Relational databases have had great industrial success in computer science, their power evidenced by theoretical analysis and widespread adoption. Often, automated theorem provers...