3235 search results - page 414 / 647 » Partial Redundant Modeling |
181
click to vote
NDSS
2003
IEEE
15 years 9 months ago
2003
IEEE
Security is a major, frequent concern in extensible software systems such as Java Virtual Machines and the Common Language Runtime. These systems aim to enable simple, classic app...
147
click to vote
CP
2000
Springer
15 years 8 months ago
2000
Springer
Combinatorial problems can be efficiently tackled with constraint programming systems. The main tasks of the development of a constraint-based application are modeling the proble...
151
click to vote
UML
1998
Springer
15 years 8 months ago
1998
Springer
The use of scenarios has become a popular technique for requirements elicitation and specification building. Since scenarios capture only partial descriptions of system behavior, ...
143
click to vote
CONCUR
2010
Springer
15 years 5 months ago
2010
Springer
Higher dimensional automata (HDA) are a model of concurrency that can express most of the traditional partial order models like Mazurkiewicz traces, pomsets, event structures, or P...
133
click to vote
APAL
2006
15 years 4 months ago
2006
: It follows directly from Shelah's structure theory that if T is a classifiable theory, then the isomorphism type of any model of T is determined by the theory of that model ...