2501 search results - page 55 / 501 » Obligations and Their Interaction with Programs |
ISBRA
2009
Springer
14 years 3 months ago
2009
Springer
Recent techniques increase the amount of our knowledge of interactions between proteins. To filter, interpret and organize this data, many authors have provided tools for querying...
IFIP
1992
Springer
14 years 25 days ago
1992
Springer
We provide a structured classification of properties to guide the principled design of interactive systems. This classification is motivated by an existing software quality framew...
VL
1992
IEEE
14 years 24 days ago
1992
IEEE
Constraint based draw programs require users to understand and manage relationships between drawing elements. By establishing constraint relationships among elements the user effe...
PLSA
1994
14 years 25 days ago
1994
Abstract. Most software is developed using interactive computing systems and substantial compute-power. Considerable assistance can be given to the developer by providing language-...
JANCL
2006
13 years 8 months ago
2006
We describe KAT-ML, an implementation of an interactive theorem prover for Kleene algebra with tests (KAT). The system is designed to reflect the natural style of reasoning with K...