21430 search results - page 485 / 4286 » Abstract Effective Models |
209
click to vote
ECMDAFA
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. This paper presents a method to describe the operational semantics of languages based on their meta-model. We combine the established high-level modelling languages MOF, ...
184
click to vote
RECOMB
2003
Springer
16 years 7 months ago
2003
Springer
We develop a new framework for inferring models of transcriptional regulation. The models in this approach, which we call physical models, are constructed on the basis of verifiab...
166
click to vote
VMCAI
2005
Springer
16 years 10 days ago
2005
Springer
Abstract. We present an analysis to verify abstract set specifications for programs that use object field values to determine the membership of objects in abstract sets. In our a...
178
click to vote
MA
1999
Springer
15 years 11 months ago
1999
Springer
JavaSeal is a secure mobile agent kernel that provides a small set of abstractions for constructing agent applicahis paper describes the design of these abstractions and their imp...
200
click to vote
SG
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. Most information visualisation methods are based on abstract visual representations without any concrete manifestation in the “real world”. However, a variety of abst...