2989 search results - page 43 / 598 » Using Domain-Independent Problems for Introducing Formal Met... |
170
Voted
SAS
2005
Springer
16 years 27 days ago
2005
Springer
Abstract. We introduce Banshee, a toolkit for constructing constraintbased analyses. Banshee’s novel features include a code generator for creating customized constraint resoluti...
228
Voted
IFL
2000
Springer
15 years 11 months ago
2000
Springer
Abstract. In this paper we compare three systems for tracing and debugging Haskell programs: Freja, Hat and Hood. We evaluate their usefulness in practice by applying them to a num...
192
Voted
TFM
2004
Springer
16 years 23 days ago
2004
Springer
Formal Methods teaching at undergraduate level has been going on at Manchester for a good number of years.We have introduced various courses based on different approaches.We have e...
213
click to vote
ICCS
2009
Springer
16 years 2 months ago
2009
Springer
Role Based Access Control (RBAC) is a methodology for providing users in an IT system specific permissions like write or read to t abstracts from specific users and binds permiss...
152
click to vote
ANOR
2002
15 years 7 months ago
2002
Abstract. The generic hoist scheduling problem is NP-hard and arises from automated manufacturing lines. In recent work using the constraint logic programming (CLP) formalism, a un...