4209 search results - page 206 / 842 » Abstract Dialectical Frameworks |
163
click to vote
WINET
2002
15 years 6 months ago
2002
Abstract. As mobility permeates into todays computing and communication arena, we envision application infrastructures that will increasingly rely on mobile technologies. Tradition...
169
click to vote
ISPDC
2003
IEEE
15 years 11 months ago
2003
IEEE
The paper presents a Java-based object-oriented system that offers a layered infrastructure to create the adequate framework for complex interactions between Grid components (e.g....
165
click to vote
CORR
2007
Springer
15 years 6 months ago
2007
Springer
but other abstract objects as well (e.g., states, processes, properties, activities, attributes, etc.) It will be demonstrated here that in such a framework, a number of challenges...
167
click to vote
CORR
2009
Springer
15 years 4 months ago
2009
Springer
mework can be used to compare and merge models at different abstraction levels; in particular, higher-level (e.g. mobility) activities can be given a formal biological justificatio...
158
click to vote
POPL
2010
ACM
16 years 1 months ago
2010
ACM
ion-Guided Synthesis of Synchronization Martin Vechev IBM Research Eran Yahav IBM Research Greta Yorsh IBM Research We present a novel framework for automatic inference of effici...