1407 search results - page 154 / 282 » Towards Usable Analysis, Design and Modeling Tools |
178
click to vote
SOSYM
2010
15 years 4 months ago
2010
In this paper we present an approach for the analysis of graph transformation rules based on an intermediate OCL representation. We translate different rule semantics into OCL, to...
178
click to vote
HOTSWUP
2009
ACM
15 years 11 months ago
2009
ACM
The complexity, cost, and down-time currently created by the database schema evolution process is the source of incessant problems in the life of information systems and a major s...
162
click to vote
BMCBI
2007
15 years 6 months ago
2007
Background: Identifying relevant research in an ever-growing body of published literature is becoming increasingly difficult. Establishing domain-specific knowledge bases may be a...
187
click to vote
MOBIHOC
2008
ACM
16 years 5 months ago
2008
ACM
The routing performance of delay tolerant networks (DTN) is highly correlated with the distribution of inter-contact times (ICT), the time period between two successive contacts o...
159
click to vote
STTT
1998
15 years 5 months ago
1998
Abstract. Coloured Petri nets (CP-nets or CPNs) provide a framework for the design, specification, validation, and verification of systems. CP-nets have a wide range of applicati...