2407 search results - page 388 / 482 » A Tool for Abstraction in Model Checking |
169
Voted
MEMBRANE
2009
Springer
16 years 18 days ago
2009
Springer
would be an abstract answer (because it would not immediately link a formal model with the biological reality that inspired it or with possible implementations) from the other hand...
128
click to vote
IUI
2004
ACM
15 years 11 months ago
2004
ACM
With the advent of in-home networking and ubiquitous computing, it becomes apparent that we have an increasing need for automatic adaptation of user interfaces to different device...
155
click to vote
ECLIPSE
2005
ACM
15 years 8 months ago
2005
ACM
We introduce ConcernMapper, an Eclipse plug-in for experimenting with techniques for advanced separation of concerns. ConcernMapper supports development and maintenance tasks invo...
211
click to vote
HICSS
2009
IEEE
16 years 26 days ago
2009
IEEE
This paper discusses the design and implementation of a Service Generator Toolkit (SGT) that allows web services researchers to easily create large numbers of web services. When d...
147
click to vote
ICCS
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. Modeling is considered an inherent part of design, operation and optimization of Water Quality Systems. Models are used for running so-called Virtual Experiments, such as...