2947 search results - page 220 / 590 » Analyzing Program Analyses |
180
click to vote
COR
2008
15 years 5 months ago
2008
Quantitative performance modeling of complex information systems is of immense importance for designing enterprise e-business infrastructures and applications. In this paper, we p...
180
click to vote
IC
2009
15 years 4 months ago
2009
- In this paper, we describe the usage of number of web pages found by search engines for business analysis. To realize this approach we created the GoogMeter application (www.goog...
158
click to vote
ICDAR
2009
IEEE
15 years 4 months ago
2009
IEEE
This paper presents an Italic/Roman word type recognition system without a priori knowledge on the characters' font. This method aims at analyzing old documents in which char...
187
click to vote
ICSOC
2009
Springer
15 years 4 months ago
2009
Springer
Abstract. Aside of day-to-day business in some organizations Enterprise Architecture (EA) seems to be successful while it is not in others that also have notations, models, methods...
302
click to vote
AMAST
2010
Springer
15 years 1 months ago
2010
Springer
Maude modules can be understood as models that can be formally analyzed and verified with respect to different properties expressing various formal requirements. However, Maude lac...