2836 search results - page 349 / 568 » Model Checking for Software Architectures |
193
click to vote
MOMM
2009
ACM
15 years 11 months ago
2009
ACM
This paper proposes a new approach for modelling, testing and prototyping pervasive, possibly mobile, and distributed applications. It describes a set of tools aimed at supporting...
213
click to vote
ICSOC
2004
Springer
16 years 1 days ago
2004
Springer
CiteSeer is currently a very large source of meta-data information on the World Wide Web (WWW). This meta-data is the key material for the Semantic Web. Still, CiteSeer is not yet...
208
click to vote
DAC
2004
ACM
16 years 7 months ago
2004
ACM
Parametric representations used for symbolic simulation of circuits usually use BDDs. After a few steps of symbolic simulation, state set representation is converted from one para...
154
click to vote
AVI
1998
15 years 8 months ago
1998
Our work focuses on the design of interaction techniques for large information spaces. Our goal is not to define yet another visualization technique but to provide insights for th...
162
click to vote
CBSE
2004
Springer
15 years 10 months ago
2004
Springer
There is a conceptual gap between the way we currently articulate requirements and the reuse-driven paradigm embodied in component-based system development. The principal challenge...