Sciweavers

1451 search results - page 138 / 291
» Case Studies in Model Manipulation for Scientific Computing
Sort
View
HICSS
2000
IEEE
140views Biometrics» more  HICSS 2000»
15 years 9 months ago
An Innovative Internet Architecture for Application Service Providers
In recent years, business on the Internet has exponentially increased. Consequently, the deployment and management of business applications on the Internet is becoming more and mo...
Borko Furht, Chris Phoenix, John Yin, Zijad Aganov...
ECBS
2008
IEEE
116views Hardware» more  ECBS 2008»
15 years 11 months ago
CiCUTS: Combining System Execution Modeling Tools with Continuous Integration Environments
System execution modeling (SEM) tools provide an effective means to evaluate the quality of service (QoS) of enterprise distributed real-time and embedded (DRE) systems. SEM tools...
James H. Hill, Douglas C. Schmidt, Adam A. Porter,...
SAT
2007
Springer
181views Hardware» more  SAT 2007»
15 years 10 months ago
Breaking Symmetries in SAT Matrix Models
Abstract. Symmetry occurs naturally in many computational problems. The use of symmetry breaking techniques for solving search problems reduces the search space and therefore is ex...
Inês Lynce, João P. Marques Silva
CCS
2003
ACM
15 years 10 months ago
Incentive-based modeling and inference of attacker intent, objectives, and strategies
Although the ability to model and infer Attacker Intent, Objectives and Strategies (AIOS) may dramatically advance the literature of risk assessment, harm prediction, and predicti...
Peng Liu, Wanyu Zang
BMVC
2002
15 years 7 months ago
Modelling life cycle related and individual shape variation in biological specimens
The main purpose of this research is to develop methods for automatic identification of biological specimens in digital photographs and drawings held in a database. Incorporation ...
Y. A. Hicks, A. David Marshall, Ralph R. Martin, P...