229 search results - page 36 / 46 » Formal Modeling of RESTful Systems Using Finite-State Machin... |
72
Voted
KCAP
2005
ACM
15 years 3 months ago
2005
ACM
Among the variety of alignment approaches (e.g., using machine learning, subsumption computation, formal concept analysis, etc.) similarity-based ones rely on a quantitative asses...
CAD
1998
Springer
14 years 9 months ago
1998
Springer
We develop an architecture for a product master model that federates CAD systems with downstream application processes for di erent feature views that are part of the design proce...
COLT
1999
Springer
15 years 1 months ago
1999
Springer
This paper proposes the use of constructive ordinals as mistake bounds in the on-line learning model. This approach elegantly generalizes the applicability of the on-line mistake ...
79
Voted
VMCAI
2005
Springer
15 years 3 months ago
2005
Springer
When a system fails to satisfy its specification, the model checker produces an error trace (or counter-example) that demonstrates an undesirable behavior, which is then used in d...
106
Voted
LWA
2007
14 years 11 months ago
2007
Web 2.0 applications like Flickr, YouTube, or Del.icio.us are increasingly popular online communities for creating, editing and sharing content. However, the rapid increase in siz...