3429 search results - page 307 / 686 » Modelling the Operational Semantics of Domain-Specific Model... |
145
click to vote
WSC
2007
15 years 7 months ago
2007
The paper presents an extensible Petri Net Markup Language (xPNML), which is an extended version of PNML. The xPNML format overcomes limitations associated with PNML structure for...
166
click to vote
CIVR
2007
Springer
15 years 11 months ago
2007
Springer
Near-duplicate keyframes (NDK) play a unique role in large-scale video search, news topic detection and tracking. In this paper, we propose a novel NDK retrieval approach by explo...
137
click to vote
IUI
2003
ACM
15 years 10 months ago
2003
ACM
Computer-based annotation is increasing in popularity as a mechanism for revising documents and sharing comments over the Internet. One reason behind this surge is that viewpoints...
144
click to vote
SLE
2009
Springer
15 years 11 months ago
2009
Springer
Model Driven Engineering (MDE) is a promising paradigm for development. It raises the level of abstraction in software development by treating models as primary artifacts. The prac...
123
click to vote
FM
2009
Springer
15 years 11 months ago
2009
Springer
In Bounded Model Checking both the system model and the checked property are translated into a Boolean formula to be analyzed by a SAT-solver. We introduce a new encoding technique...