3294 search results - page 421 / 659 » Taxonomy of Process Modeling Languages |
153
click to vote
CORR
2007
Springer
15 years 4 months ago
2007
Springer
This paper deals with a common verification methodology and environment for SystemC BCA and RTL models. The aim is to save effort by avoiding the same work done twice by different...
157
click to vote
ENTCS
2010
15 years 2 months ago
2010
Several complex biological phenomena are to be modelled in terms of a large and dynamic network of compartments, where the interplay between inter-compartment and intra-compartmen...
156
click to vote
PLDI
2012
ACM
13 years 7 months ago
2012
ACM
Modern architectures implement relaxed memory models which may reorder memory operations or execute them non-atomically. Special instructions called memory fences are provided, al...
252
click to vote
VLDB
2006
ACM
16 years 5 months ago
2006
ACM
: Moving Objects Databases have become an important research issue in recent years. For and querying moving objects, there exists a comprehensive framework of abstract data types t...
149
click to vote
ICWE
2007
Springer
15 years 11 months ago
2007
Springer
In recent years, innovation in technologies such as web services, business process automation, etc., have motivated a new paradigm in the application development field to appear, k...