Sciweavers

6149 search results - page 467 / 1230
» Revealing the programming process
Sort
View
WSC
2008
15 years 9 months ago
A study on port design automation concept
In this paper, an automation concept is proposed to facilitate the simulation model building for port design problem. Currently, this process, which includes drawing the terminal ...
Loo Hay Lee, Ek Peng Chew, Hai Xing Cheng, Yongbin...
IADIS
2003
15 years 8 months ago
Concerns vs Components for Web Development
The Web has been growing and evolving in the last couple of decades at a very high speed, causing web applications to be more and more complex. Aspect oriented programming gives u...
Antonia M. Reina Quintero, Jesus Torres Valderrama...
IWFM
2000
167views Formal Methods» more  IWFM 2000»
15 years 8 months ago
An Algebraic Basis for Specifying and Enforcing Access Control in Security Systems
Security services in a multi-user environment are often based on access control mechanisms. Static of an access control policy can be formalised using abstract algebraic models. W...
Claus Pahl
WSC
1998
15 years 8 months ago
GMSim: A Tool for Compositional GSMP Modeling
The development of a discrete-event simulation tool, called GMSim, based on the generalized semi-Markov process (GSMP) formalism is described. The GSMP representation comprises bo...
Frode B. Nilson
IJCAI
1993
15 years 8 months ago
An Analytic Learning System for Specializing Heuristics
This paper describes how meta-level theories are used for analytic learning in M U L T I - T A C . M U L T I - T A C operationalizes generic heuristics for constraint-satisfaction...
Steven Minton