Sciweavers

1547 search results - page 142 / 310
» The Isabelle Collections Framework
Sort
View
IDEAL
2005
Springer
15 years 9 months ago
Patterns in Complex Systems Modeling
The design, development, and use of complex systems models raises a unique class of challenges and potential pitfalls, many of which are commonly recurring problems. Over time, res...
Janet Wiles, James Watson
PCI
2005
Springer
15 years 9 months ago
Workflow Based Security Incident Management
Security incident management is one of the critical areas that offers valuable information to security experts, but still lacks much development. Currently, several security incide...
Meletis A. Belsis, Alkis Simitsis, Stefanos Gritza...
PROFES
2005
Springer
15 years 9 months ago
Mega Software Engineering
Abstract. In various fields of computer science, rapidly growing hardware power, such as high-speed network, high-performance CPU, huge disk capacity, and large memory space, has ...
Katsuro Inoue, Pankaj K. Garg, Hajimu Iida, Ken-ic...
HICSS
2003
IEEE
119views Biometrics» more  HICSS 2003»
15 years 9 months ago
Modeling and Analyzing Communications Infrastructure A Case Study of an International Organization
EnCompass®1 , a web-enabled system for organizational process visualization, analysis, synthesis, and management, provides an interactive vehicle for understanding the influence ...
Michael M. Mann, Ericka Hansen Bryant
GRID
2003
Springer
15 years 9 months ago
Applying Database Support for Large Scale Data Driven Science in Distributed Environments
There is a rapidly growing set of applications, referred to as data driven applications, in which analysis of large amounts of data drives the next steps taken by the scientist, e...
Sivaramakrishnan Narayanan, Ümit V. Ça...