ScienceOpen:
research and publishing network
For Publishers
Discovery
Metadata
Peer review
Hosting
Publishing
For Researchers
Join
Publish
Review
Collect
My ScienceOpen
Sign in
Register
Dashboard
Blog
About
Search
Advanced search
My ScienceOpen
Sign in
Register
Dashboard
Search
Search
Advanced search
For Publishers
Discovery
Metadata
Peer review
Hosting
Publishing
For Researchers
Join
Publish
Review
Collect
Blog
About
2
views
34
references
Top references
cited by
0
Cite as...
0 reviews
Review
0
comments
Comment
0
recommends
+1
Recommend
0
collections
Add to
0
shares
Share
Twitter
Sina Weibo
Facebook
Email
2,498
similar
All similar
Record
: found
Abstract
: not found
Book Chapter
: not found
Web Engineering
Form Filling Based on Constraint Solving
other
Author(s):
Ben Spencer
,
Michael Benedikt
,
Pierre Senellart
Publication date
(Online):
May 20 2018
Publisher:
Springer International Publishing
Read this book at
Publisher
Further versions
oa repository (via OAI-PMH title and first author match)
oa repository (via OAI-PMH title and first author match)
oa repository (via OAI-PMH title and first author match)
oa repository (via OAI-PMH title and first author match)
oa repository (via OAI-PMH title and first author match)
Powered by
Buy book
Review
Review book
Invite someone to review
Bookmark
Cite as...
There is no author summary for this book yet. Authors can add summaries to their books on ScienceOpen to make them more accessible to a non-specialist audience.
Related collections
Value-based Healthcare
Most cited references
34
Record
: found
Abstract
: not found
Article
: not found
White Paper: The Deep Web: Surfacing Hidden Value
Michael K Bergman
(2001)
0
comments
Cited
55
times
– based on
0
reviews
Review now
Bookmark
Record
: found
Abstract
: not found
Article
: not found
Satisfiability modulo theories
Leonardo de Moura
,
Nikolaj Bjørner
(2011)
0
comments
Cited
39
times
– based on
0
reviews
Review now
Bookmark
Record
: found
Abstract
: not found
Book Chapter
: not found
A Decision Procedure for Bit-Vectors and Arrays
Vijay Ganesh
,
David Dill
(2007)
0
comments
Cited
31
times
– based on
0
reviews
Bookmark
All references
Author and book information
Book Chapter
Publication date (Print):
2018
Publication date (Online):
May 20 2018
Pages
: 95-113
DOI:
10.1007/978-3-319-91662-0_7
SO-VID:
9c06a47a-d998-447c-976d-d706e3e19096
History
Data availability:
Comments
Comment on this book
Sign in to comment
Book chapters
pp. 3
Evaluating the Impact of Developers’ Personality on the Intention to Adopt Model-Driven Web Engineering Approaches: An Observational Study
pp. 17
CME – A Web Application Framework Learning Technique Based on Concerns, Micro-Learning and Examples
pp. 33
Refining Traceability Links Between Vulnerability and Software Component in a Vulnerability Knowledge Graph
pp. 50
Transferring Tests Across Web Applications
pp. 65
Generating GraphQL-Wrappers for REST(-like) APIs
pp. 84
ReWaMP: Rapid Web Migration Prototyping Leveraging WebAssembly
pp. 95
Form Filling Based on Constraint Solving
pp. 114
Effective Crowdsourced Generation of Training Data for Chatbots Natural Language Understanding
pp. 129
Chatbot Dimensions that Matter: Lessons from the Trenches
pp. 136
HCI Vision for Automated Analysis and Mining of Web User Interfaces
pp. 145
Decentralized Computation Offloading on the Edge with Liquid WebWorkers
pp. 162
Improving Legacy Applications with Client-Side Augmentations
pp. 177
Mashup Recommendation for Trigger Action Programming
pp. 185
Leveraging Analysis of User Behavior from Web Usage Extraction over DOM-tree Structure
pp. 195
Selectivity Estimation for SPARQL Triple Patterns with Shape Expressions
pp. 210
Efficiently Pinpointing SPARQL Query Containments
pp. 225
A Bottom-Up Algorithm for Answering Context-Free Path Queries in Graph Databases
pp. 234
DaQAR - An Ontology for the Uniform Exchange of Comparable Linked Data Quality Assessment Requirements
pp. 245
Predicting User Flight Preferences in an Airline E-Shop
pp. 261
Focused Crawling Through Reinforcement Learning
pp. 279
Semantic Fingerprinting: A Novel Method for Entity-Level Content Classification
pp. 288
Learning to Rank Tweets with Author-Based Long Short-Term Memory Networks
pp. 296
A Case Study on Visualizing Large Spatial Datasets in a Web-Based Map Viewer
pp. 304
Towards Full End-Users Control of Social Recommendations
pp. 312
FactCheck - Identify and Fix Conflicting Data on the Web
pp. 321
Semantic Data Stream Mapping and Shape Constraint Validation Based on Collaboratively Created Annotations
pp. 333
TDLIoT: A Topic Description Language for the Internet of Things
pp. 349
Managing Uncertain Complex Events in Web of Things Applications
pp. 358
GrOWTH: Goal-Oriented End User Development for Web of Things Devices
pp. 366
Spatio-Cohesive Service Selection Using Machine Learning in Dynamic IoT Environments
pp. 375
Reflective Internet of Things Middleware-Enabled a Predictive Real-Time Waste Monitoring System
pp. 387
Distributed Stream Consistency Checking
pp. 404
Peer-to-Peer Video Streaming in HTML5 with WebTorrent
pp. 420
Datalyzer: Streaming Data Applications Made Easy
pp. 433
OpenBudgets.eu: A Platform for Semantically Representing and Analyzing Open Fiscal Data
pp. 448
Context-Aware and Linked Open Data Based Service Discovery
pp. 463
Educational Open Government Data: From Requirements to End Users
pp. 473
Natural-Language-Enabled End-User Tool Endowed with Ontology-Based Development
pp. 477
Interconnecting and Monitoring Heterogeneous Things in IoT Applications
pp. 482
ELEVATE-Live: Assessment and Visualization of Online News Virality via Entity-Level Analytics
pp. 487
OpenAPItoUML: A Tool to Generate UML Models from OpenAPI Definitions
pp. 492
Generation of Web Frontends from API Documentation with Direwolf Interaction Flow Designer
pp. 496
Model Based Rapid Prototyping and Evolution of Web Application
Similar content
2,498
Students' flexibility in solving two-digit addition and subtraction problems: Instruction effects.
Authors:
Eeke Van der Burg
,
Anke Blöte
,
Anton Klein
The influence of self-efficacy and working memory capacity on problem-solving efficiency
Authors:
Bobby Hoffman
,
Gregory Schraw
Generalized nonlinear inverse problems solved using the least squares criterion
Authors:
Albert Tarantola
,
Bernard Valette
See all similar