1501 search results - page 98 / 301 » Towards Integration of Modeling Methods for Cyber-Physical S... |
129
click to vote
EDOC
2004
IEEE
15 years 7 months ago
2004
IEEE
The era of distributed systems is upon us. Middlewarespecific concerns, and especially the distribution concern, which is the core of any middleware-mediated application, are addr...
119
click to vote
ECMDAFA
2006
Springer
15 years 7 months ago
2006
Springer
Abstract. In this paper we report on a feasibility study in reengineering legacy systems towards a model-driven architecture (MDA). Steps in our approach consist of (1) parsing the...
148
click to vote
SIGIR
2005
ACM
15 years 9 months ago
2005
ACM
This paper describes an application of IR and text categorization methods to a highly practical problem in biomedicine, specifically, Gene Ontology (GO) annotation. GO annotation...
130
click to vote
CAV
2005
Springer
15 years 9 months ago
2005
Springer
Bounded model checking is an efficient method for finding bugs in system designs. The major drawback of the basic method is that it cannot prove properties, only disprove them. R...
124
click to vote
ECIS
2000
15 years 5 months ago
2000
Nowadays, almost all public administration plan to establish processes with electronic signatures. For such processes, there are no standardized system models with test cases. We a...