14709 search results - page 378 / 2942 » Semantic feature modelling |
151
click to vote
OOPSLA
2009
Springer
16 years 1 months ago
2009
Springer
Multiple inheritance has long been plagued with the “diamond” inheritance problem, leading to solutions that restrict expressiveness, such as mixins and traits. Instead, we ad...
185
click to vote
SIPS
2006
IEEE
16 years 25 days ago
2006
IEEE
—A wide variety of DSP design tools have been developed that incorporate dataflow graph representations into their GUI-based design environments. However, as the complexity of ap...
178
click to vote
FM
2003
Springer
16 years 1 days ago
2003
Springer
We present two instantiations of generic Interactive State Machines (ISMs) with mobility features which are useful for modeling and verifying dynamically changing mobile systems. I...
193
click to vote
APN
2010
Springer
15 years 11 months ago
2010
Springer
The unfolding technique is an efficient tool to explore the runs of a Petri net in a true concurrency semantics, i.e. without constructing all the interleavings of concurrent actio...
195
click to vote
POPL
1990
ACM
15 years 11 months ago
1990
ACM
Typed -calculus is an important tool in programming language research because it provides an extensible framework for studying language features both in isolation and in their rel...