1284 search results - page 85 / 257 » On Helping and Interactive Proof Systems |
IFM
2004
Springer
15 years 3 months ago
2004
Springer
Recent work on combining CSP and B has provided ways of describing systems comprised of components described in both B (to express requirements on state) and CSP (to express intera...
MBUI
2004
14 years 11 months ago
2004
Users require flexibility when interacting with information systems to contend with changing business processes, and to support diverse workflow. Model-based user interface design...
103
click to vote
RE
2006
Springer
14 years 9 months ago
2006
Springer
Aspect-oriented concepts are currently introduced in all phases of the software development life cycle. However, the complexity of interactions among different aspects and between...
WSDM
2010
ACM
15 years 7 months ago
2010
ACM
Tagging plays an important role in many recent websites. Recommender systems can help to suggest a user the tags he might want to use for tagging a specific item. Factorization mo...
112
click to vote
CPHYSICS
2010
14 years 10 months ago
2010
We investigate fully parallel Newton-Krylov-Schwarz (NKS) algorithms for solving the large sparse nonlinear systems of equations arising from the finite element discretization of ...