1451 search results - page 196 / 291 » Case Studies in Model Manipulation for Scientific Computing |
153
click to vote
ICEIS
2007
IEEE
16 years 19 days ago
2007
IEEE
Although extensive literature on BPR is available, there is still a lack of concrete guidance on actually changing processes for the better. In this paper we propose and detail out...
157
click to vote
CODES
2006
IEEE
16 years 12 days ago
2006
IEEE
This paper presents a methodology to combine Transaction Level Modeling and System/Network co-simulation for the design of networked embedded systems. As a result, a new design di...
163
click to vote
FOSSACS
2010
Springer
15 years 9 months ago
2010
Springer
Abstract. The enriched effect calculus is an extension of Moggi's computational metalanguage with a selection of primitives from linear logic. In this paper, we present an ext...
157
click to vote
IEEESP
2010
15 years 4 months ago
2010
Abstract. We devise a model for security investment that reflects dynamic interaction between a defender, who faces uncertainty, and an attacker, who repeatedly targets the weakes...
189
click to vote
CCGRID
2010
IEEE
15 years 7 months ago
2010
IEEE
Cloud computing is a computing paradigm which allows access of computing elements and storages on-demand over the Internet. Virtual Appliances, pre-configured, readyto-run applicat...