1
Published 2010
Table of Contents: ... -- Measuring Instability in Normal Residuated Logic Programs: Discarding Information -- Implementing...
View full text
Electronic eBook
2
Published 2010
Table of Contents: ... Contextual Reasoning in Ambient Intelligence -- Enhancing a Smart Space with Answer Set Programming...
View full text
Electronic eBook
3
Published 2010
Table of Contents: ...-Contracts to Drive Architecture-Centric Self-adaptation -- Case Studies and Experience Reports -- Is BPMN...
View full text
Electronic eBook
4
Published 2010
Table of Contents: ... for Embedded Systems: The Octopus Toolset -- Contract-Based Slicing -- Worst-Case Traversal Time (WCTT...
View full text
Electronic eBook
5
Published 2010
Table of Contents: ... Process Management (edBPM09) -- Feasibility of EPC to BPEL Model Transformations Based on Ontology...
View full text
Electronic eBook
6
Published 2012
Table of Contents: ...-Transform-Load Systems -- Extraction, Discovery and Clustering -- Fast Group Recommendations by Applying...
View full text
Electronic eBook
7
Published 2006
Table of Contents: ...: Building a Transaction Framework for Contract-Driven, Service-Oriented Business Processes -- Securing Web...
View full text
Electronic eBook
8
Published 2008
Table of Contents: ... Filtering -- A User Behavior Based Trust Model for Mobile Applications -- Managing Contracts in Pleiades...
View full text
Electronic eBook
9
Published 2015
Table of Contents: ... of Smart-Contracting Collaborations for Decentralized Autonomous Organizations -- Reliable Customers...
View full text
Electronic eBook
10
Published 2005
Table of Contents: ... -- Robust Model Adaptation Using Mean and Variance Transformations in Linear Spectral Domain -- Using...
View full text
Electronic eBook
11
Published 2014
Table of Contents: ... Systems Development -- Analysis of Agile Software Development from the Knowledge Transformation...
View full text
Electronic eBook
12
Published 2005
Table of Contents: ... Upward Planarity -- Read/Write Based Fast-Path Transformation for FCFS Mutual Exclusion -- Adjustment...
View full text
Electronic eBook
13
Published 2005
Table of Contents: ... for Managing Large Business Process Specifications -- Transforming BPEL to Petri Nets -- Event-Based...
View full text
Electronic eBook
14
Published 2006
Table of Contents: ... Tamper Resistance Through Dynamic Program Monitoring -- Call Tree Transformation for Program Obfuscation...
View full text
Electronic eBook
15
Published 2013
Table of Contents: ... Their Procurement Spending and Introduce Greater Competition in Public Sector Contracting.-Models for Some Smart...
View full text
Electronic eBook
16
Published 2013
Table of Contents: ... Heuristic Way -- Environment Monitoring System Based on Internet of Things -- Utility Theory Based Approach...
View full text
Electronic eBook