8676 search results - page 265 / 1736 » A Feature Model for an IDE4OCL |
179
click to vote
JOT
2008
15 years 6 months ago
2008
We present, in this paper, a framework supporting a formal verification of concurrent UML models using the Maude language. We consider both static and dynamic features of concurre...
169
click to vote
PCM
2007
Springer
16 years 20 days ago
2007
Springer
Relevance feedback is an important mechanism for narrowing the semantic gap in content-based image retrieval and the process involves the user labeling positive and negative images...
151
click to vote
PERVASIVE
2008
Springer
15 years 6 months ago
2008
Springer
Abstract. People-centric sensor-based applications targeting mobile device users offer enormous potential. However, learning inference models in this setting is hampered by the lac...
163
click to vote
ICNS
2009
IEEE
16 years 1 months ago
2009
IEEE
Packet Tracer is a comprehensive instructional software application for teaching skills and concepts associated with computer networking. In addition to a wide range of simulation...
169
click to vote
FIW
2003
15 years 8 months ago
2003
A new feature set suited for IP telephony is described. The user value of this feature set is discussed in terms of social science results. This feature set supports natural human ...