12981 search results - page 574 / 2597 » Model Checking (Abstract) |
180
click to vote
DATE
1999
IEEE
15 years 11 months ago
1999
IEEE
We propose a conceptual framework, called the Rugby Model, in which designs, design processes and design tools can be studied. It is an extension of the Y chart and adds two dimen...
197
click to vote
ML
2006
ACM
15 years 7 months ago
2006
ACM
Abstract Trained musicians intuitively produce expressive variations that add to their audience's enjoyment. However, there is little quantitative information about the kinds ...
165
click to vote
EKAW
2004
Springer
16 years 12 days ago
2004
Springer
Abstract. Knowledge-intensive methods that can altogether be characterised as deductive web mining (DWM) already act as supporting technology for building the semantic web. Reusabl...
182
click to vote
DSVIS
2003
Springer
16 years 7 days ago
2003
Springer
The increasing availability of various types of interactive platforms has raised the need for design environments able to support development of user interfaces that exploit intera...
149
click to vote
FATES
2003
Springer
16 years 7 days ago
2003
Springer
We present work on a tool environment for model-based testing with the Abstract State Machine Language (AsmL). Our environment supports semiautomatic parameter generation, call seq...