2776 search results - page 163 / 556 » System-Level Abstraction Semantics |
146
click to vote
ECOOP
2003
Springer
15 years 10 months ago
2003
Springer
Abstract. Aspects have emerged as a powerful tool in the design and development of systems, allowing for the encapsulation of program transformations. The dynamic semantics of aspe...
158
Voted
ENTCS
2010
15 years 2 months ago
2010
Molecular biological models usually suffer from a dramatic combinatorial blow up. Indeed, proteins form complexes and can modify each others, which leads to the formation of a hug...
127
click to vote
SAC
2009
ACM
15 years 11 months ago
2009
ACM
Formalization is a necessary precondition for the specification of precise and unambiguous use case models, which serve as reference points for the design and implementation of so...
137
click to vote
LPNMR
2009
Springer
15 years 11 months ago
2009
Springer
We define the semantics of logic programs with (abstract) constraint atoms in a way closely tied to default logic. Like default logic, formulas in rules are evaluated using the cl...
162
click to vote
CIRA
2007
IEEE
15 years 11 months ago
2007
IEEE
Abstract— In human-robot communication it is often important to relate robot sensor readings to concepts used by humans. We believe that access to semantic maps will make it poss...