3514 search results - page 544 / 703 » Software Process Modeling: Principles of Entity Process Mode... |
121
click to vote
CAD
2000
Springer
15 years 1 months ago
2000
Springer
This paper presents a novel methodology for deriving the dynamic equations of mechatronic systems from component models that are represented as linear graphs. This work is part of...
109
click to vote
NRHM
1998
15 years 1 months ago
1998
: Due to the tremendously increasing popularity of the World-Wide Web, hypermedia is going to be the leading online information medium for some years to come and will most likely b...
112
click to vote
TACAS
2010
Springer
14 years 12 months ago
2010
Springer
Software model checkers are being used mostly to discover specific types of errors in the code, since exhaustive verification of complex programs is not possible due to state explo...
137
click to vote
CONSTRAINTS
2011
14 years 9 months ago
2011
Abstract The G12 project is developing a software environment for stating and solving combinatorial problems by mapping a high-level model of the problem to an efficient combinatio...
107
click to vote
SACMAT
2003
ACM
15 years 7 months ago
2003
ACM
This paper presents an approach that uses special purpose RBAC constraints to base certain access control decisions on context information. In our approach a context constraint is...