1950 search results - page 240 / 390 » Lambda-Free Logical Frameworks |
161
click to vote
ATAL
2007
Springer
16 years 22 days ago
2007
Springer
Agents enacting business processes in large open environments need to adaptively accommodate exceptions. Work on multiagent approaches can flexibly model business processes. This...
178
click to vote
EEMMAS
2007
Springer
16 years 22 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...
178
click to vote
ICWE
2007
Springer
16 years 21 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...
189
click to vote
LPAR
2007
Springer
16 years 21 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...
191
click to vote
MICAI
2007
Springer
16 years 21 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...