996 search results - page 87 / 200 » Enhancing UML Models: A Domain Analysis Approach |
161
click to vote
FM
2008
Springer
15 years 5 months ago
2008
Springer
The declarative modeling language Alloy and its automatic analyzer provide an effective tool-set for building designs of systems and checking their properties. The Alloy Analyzer p...
168
click to vote
ISORC
2005
IEEE
15 years 9 months ago
2005
IEEE
Web Services form a new distributed computing paradigm. Collaborative verification and validation are important when Web Services from different vendors are integrated together to...
120
click to vote
AIED
2009
Springer
15 years 10 months ago
2009
Springer
This research deals with two issues for learner modeling: uncertainty and multiple perspectives. Hence, it proposes a process called cognitive mapping to acquire and describe objec...
119
Voted
CICLING
2006
Springer
15 years 7 months ago
2006
Springer
Abbreviated words carry critical information in the literature of many special domains. This paper reports our research in recognizing dotted abbreviations with MaxEnt model. The k...
153
click to vote
LCN
2007
IEEE
15 years 10 months ago
2007
IEEE
—Multimedia streaming over ad hoc networks forms a continuous progress domain due to users’ growing needs and wireless devices incessant evolution. Our objective, in this study...