4036 search results - page 765 / 808 » Formal Methods |
134
click to vote
KAIS
2010
15 years 29 days ago
2010
We argue that expert finding is sensitive to multiple document features in an organizational intranet. These document features include multiple levels of associations between expe...
141
Voted
SCP
2010
15 years 28 days ago
2010
The SPIN model checker and its specification language Promela have been used extensively in industry and academia to check logical properties of distributed algorithms and protoc...
137
click to vote
PPDP
2010
Springer
15 years 12 days ago
2010
Springer
We propose a model for XML update primitives of the W3C XQuery Update Facility as parameterized rewriting rules of the form: "insert an unranked tree from a regular tree lang...
157
click to vote
SIGSOFT
2010
ACM
15 years 12 days ago
2010
ACM
It is widely believed that program analysis can be more closely targeted to the needs of programmers if the program is accompanied by further redundant documentation. This may inc...
148
Voted
JSS
2010
14 years 9 months ago
2010
Architectural description languages are a useful tool for modeling complex systems at a high level of abstraction. If based on formal methods, they can also serve for enabling the...