1407 search results - page 147 / 282 » Using Use Cases in Executable Z |
147
click to vote
DAC
2011
ACM
14 years 4 months ago
2011
ACM
The Kahn Process Network (KPN) model is a widely used modelof-computation to specify and map streaming applications onto multiprocessor systems-on-chips. In general, KPNs are dif...
121
click to vote
SIGSOFT
2003
ACM
16 years 5 months ago
2003
ACM
Although a software application always executes within a particular environment, current testing methods have largely ignored these environmental factors. Many applications execut...
141
click to vote
AGENTCL
2000
Springer
15 years 8 months ago
2000
Springer
Conversation policies codify the allowable exchanges of speech acts among agents as they execute specific types of tasks. Both the set of agents in a community, and the nature of...
131
click to vote
CAIP
1999
Springer
15 years 8 months ago
1999
Springer
Abstract. In this article, we deal with fast algorithms for the quaternionic Fourier transform (QFT). Our aim is to give a guideline for choosing algorithms in practical cases. Hen...
152
click to vote
CJ
2004
15 years 4 months ago
2004
This paper describes a way to manage the modeling and analysis of Scheduled Maintenance Systems (SMS) within an analytically tractable context. We chose a significant case study h...