Sciweavers

1950 search results - page 132 / 390
» Lambda-Free Logical Frameworks
Sort
View
HCI
2007
15 years 8 months ago
An Agent-Based Framework for Context-Aware Services
Abstract. A major challenge of Ambient Intelligence lies in building middleware that can ease service implementation through allowing the application developer to emphasize only th...
Axel Bürkle, Wilmuth Müller, Uwe Pfirrma...
162
Voted
ICWS
2010
IEEE
15 years 8 months ago
A MVC Framework for Policy-Based Adaptation of Workflow Processes: A Case Study on Confidentiality
Abstract--Most work on adaptive workflows offers insufficient flexibility to enforce complex policies regarding dynamic, evolvable and robust workflows. In addition, many proposed ...
Kristof Geebelen, Eryk Kulikowski, Eddy Truyen, Wo...
ICSE
2003
IEEE-ACM
16 years 6 months ago
Consistency Management with Repair Actions
Comprehensive consistency management requires a strong mechanism for repair once inconsistencies have been detected. In this paper we present a repair framework for inconsistent d...
Christian Nentwich, Wolfgang Emmerich, Anthony Fin...
SEKE
2009
Springer
16 years 1 months ago
Business Modeling for Service Engineering: Toward an integrated Procedure Model
Abstract—Business modeling for service engineering aims at flexible transformation of business logic into software code. The ISE framework is an interdisciplinary approach which...
Gregor Scheithauer, Stefan Augustin, Guido Wirtz
TRUSTBUS
2007
Springer
16 years 25 days ago
The Meaning of Logs
While logging events is becoming increasingly common in computing, in communication and in collaborative environments, log systems need to satisfy increasingly challenging (if not ...
Sandro Etalle, Fabio Massacci, Artsiom Yautsiukhin