Sciweavers

5227 search results - page 242 / 1046
» Enterprise modeling using class and instance models
Sort
View
WSC
1997
15 years 6 months ago
Cooperative Learning in Simulation
Traditionally, class periods have meant that students listen to a professor lecture for about an hour. Cooperative learning can replace some of that lecture time with methods desi...
Harriet Black Nembhard
EDOC
2002
IEEE
15 years 10 months ago
Business Modelling for Component Systems with UML
The EC funded COMBINE Project has the objective of dramatically improving software development productivity by providing a holistic approach to component-based development of Ente...
Sandy Tyndale-Biscoe, Oliver Sims, Bryan Wood, Chr...
ATVA
2008
Springer
86views Hardware» more  ATVA 2008»
15 years 7 months ago
NetQi: A Model Checker for Anticipation Game
Abstract. NetQi is a freely available model-checker designed to analyze network incidents such as intrusion. This tool is an implementation of the anticipation game framework, a va...
Elie Bursztein
SIGMOD
1999
ACM
138views Database» more  SIGMOD 1999»
15 years 9 months ago
Storing Semistructured Data with STORED
Systems for managing and querying semistructured-data sources often store data in proprietary object repositories or in a tagged-text format. We describe a technique that can use ...
Alin Deutsch, Mary F. Fernández, Dan Suciu
COMPSAC
2008
IEEE
15 years 12 months ago
Ontology Model-Based Static Analysis on Java Programs
1 Typical enterprise and military software systems consist of millions of lines of code with complicated dependence on library abstractions. Manually debugging these codes imposes ...
Lian Yu, Jun Zhou, Yue Yi, Ping Li, Qianxiang Wang