6120 search results - page 852 / 1224 » The Power of Linear Functions |
171
click to vote
WSC
1998
15 years 8 months ago
1998
Simulation modeling provides an effective and powerful approach for capturing and analyzing complex manufacturing systems. More and more decisions are based on computer generated ...
168
click to vote
ROOM
2000
15 years 8 months ago
2000
For the specification of object-oriented systems, usually several models representing different views are developed. The necessary integration of views is often delayed until impl...
209
click to vote
LFP
1990
15 years 8 months ago
1990
Quest is a programming language based on impredicative type quantifiers and subtyping within a three-level structure of kinds, types and type operators, and values. The semantics ...
168
Voted
WCE
2007
15 years 8 months ago
2007
— We present in this paper a generic methodology based on genetic automata for modelling community detection. With Communities, we deal with dynamic organizations which are self-...
167
click to vote
CIIA
2009
15 years 8 months ago
2009
The power of Petri nets resides on the availability of several tools for analysis and verification of properties of systems. Users have to combine the functionality of tools in dif...