9425 search results - page 380 / 1885 » Some Notes on Models and Modelling |
128
click to vote
UC
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. Membrane computing is a branch of molecular computing that aims to develop models and paradigms that are biologically motivated. It identifies an unconventional computin...
153
click to vote
ICIAR
2004
Springer
15 years 10 months ago
2004
Springer
The bidirectional texture function (BTF) describes rough texture appearance variations due to varying illumination and viewing conditions. Such a function consists of thousands of ...
148
Voted
IFIP
2004
Springer
15 years 10 months ago
2004
Springer
Ensuring correctness of software by formal methods is a very relevant and widely studied problem. Automatic verification of software using model checkers from the state space exp...
151
click to vote
ISW
2004
Springer
15 years 10 months ago
2004
Springer
Misuse Detection systems identify evidence of attacks by searching for patterns of known attacks (signatures). A main problem in this context is the modeling and specification of a...
172
Voted
WEBI
2004
Springer
15 years 10 months ago
2004
Springer
Business process describes a set of services that span enterprise boundaries and are provided by enterprises that see each other as partners. Web services is widely accepted and a...