3931 search results - page 599 / 787 » Separation logic and abstraction |
177
click to vote
UML
2005
Springer
16 years 28 days ago
2005
Springer
Abstract. This paper proposes an extension of the UML 2.0 profiling mechanism. This extension facilitates a language designer to introduce composite concepts as separate conceptual...
200
click to vote
ACNS
2004
Springer
16 years 25 days ago
2004
Springer
Abstract. We propose a novel framework named Hidden Colored PetriNet for Alert Correlation and Understanding (HCPN-ACU) in intrusion detection system. This model is based upon the ...
211
click to vote
COORDINATION
2004
Springer
16 years 25 days ago
2004
Springer
Abstract. Modern distributed computing demands unprecedented levels of dynamicity and reconfiguration. Mobile computing, peer-to-peer networks, computational grids, multiagent sys...
183
click to vote
CPAIOR
2004
Springer
16 years 25 days ago
2004
Springer
Abstract In recent years, the Constraint Programming (CP) and Operations Research (OR) communities have explored the advantages of combining CP and OR techniques to formulate and s...
177
click to vote
DIAGRAMS
2004
Springer
16 years 25 days ago
2004
Springer
Abstract. We conducted an eye-tracking study of mechanical problem solving from cross-sectional diagrams of devices. Response time, accuracy and eye movement data were collected an...