6040 search results - page 918 / 1208 » Generating Instance Models from Meta Models |
227
click to vote
JAIR
2010
15 years 1 months ago
2010
Intrusion detection systems (IDSs) fall into two high-level categories: network-based systems (NIDS) that monitor network behaviors, and host-based systems (HIDS) that monitor sys...
175
click to vote
UML
2005
Springer
16 years 5 days ago
2005
Springer
Use cases are a popular method for capturing and structuring software requirements. The informality of use cases is both a blessing and a curse. It enables easy application and lea...
169
click to vote
CHARME
2003
Springer
15 years 12 months ago
2003
Springer
This paper shows how classic inductive assertions can be used in conjunction with an operational semantics to prove partial correctness properties of programs. The method imposes o...
131
click to vote
VIS
2008
IEEE
16 years 8 months ago
2008
IEEE
In this work we develop a new alternative to conventional maps for visualization of relatively short paths as they are frequently encountered in hotels, resorts or museums. Our app...
158
click to vote
ICPR
2008
IEEE
16 years 7 months ago
2008
IEEE
A layered method is presented in this paper to resolve the visibility problem in depth image-based rendering. A novel three-layer representation for each reference view, i.e. the ...