1407 search results - page 229 / 282 » Using Use Cases in Executable Z |
113
click to vote
WSC
1998
15 years 3 months ago
1998
Verification and validation are two very important steps in simulation modeling. Consequently, they are under constant review and examination from many different perspectives. Res...
145
Voted
TVLSI
2008
15 years 2 months ago
2008
Chip-Multi-Processors (CMP) utilize multiple energy-efficient Processing Elements (PEs) to deliver high performance while maintaining an efficient ratio of performance to energy-c...
136
Voted
OOPSLA
2010
Springer
15 years 13 days ago
2010
Springer
The usage of optimistic version control systems comes along with cumbersome and time-consuming conflict resolution in the case that the modifications of two developers are contrad...
129
Voted
AUSAI
2010
Springer
14 years 12 months ago
2010
Springer
We study the problem of clustering uncertain objects whose locations are uncertain and described by probability density functions. We analyze existing pruning algorithms and experi...
207
Voted
ICDE
2008
IEEE
16 years 3 months ago
2008
IEEE
We introduce Pulse, a framework for processing continuous queries over models of continuous-time data, which can compactly and accurately represent many real-world activities and p...