996 search results - page 111 / 200 » Enhancing UML Models: A Domain Analysis Approach |
152
Voted
DSS
2006
15 years 3 months ago
2006
There has been a tremendous growth in the amount of information and resources on the World Wide Web that are useful to researchers and practitioners in science domains. While the ...
131
click to vote
ICSE
2000
IEEE-ACM
15 years 7 months ago
2000
IEEE-ACM
Graphical animation is a way of visualizing the behavior of design models. This visualization is of use in validating a design model against informally specified requirements and ...
144
Voted
ECAI
2008
Springer
15 years 5 months ago
2008
Springer
Formal verification based on model checking provides a powerful technology to query qualitative models of dynamical systems. The application of model-checking approaches is hamper...
120
Voted
DATE
2005
IEEE
15 years 9 months ago
2005
IEEE
In today’s embedded applications a significant portion of energy is spent in the memory subsystem. Several approaches have been proposed to minimize this energy, including the u...
134
Voted
NLPRS
2001
Springer
15 years 8 months ago
2001
Springer
In this project report we describe work in statistical parsing using the maximum entropy technique and the Alpino language analysis system for Dutch. A major difficulty in this d...