595 search results - page 75 / 119 » Representing and Executing Agent-Based Systems |
104
click to vote
CORR
2008
Springer
14 years 11 months ago
2008
Springer
The practical realization of managing and executing large scale scientific computations efficiently and reliably is quite challenging. Scientific computations often invo...
ATVA
2009
Springer
15 years 5 months ago
2009
Springer
: In this paper, we address the problem of synthesizing opaque systems. A secret predicate S over the runs of a system G is opaque to an external user having partial observability ...
CADE
2007
Springer
15 years 11 months ago
2007
Springer
We present an encoding that is able to specify LTL bounded model checking problems within the Bernays-Sch?onfinkel fragment of first-order logic. This fragment, which also correspo...
ICFCA
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. In the past years Software Engineering has experienced several difficulties in modularising crosscutting aspects, like shared, dynamic or scattered behavior of object-ori...
76
Voted
IPPS
2007
IEEE
15 years 5 months ago
2007
IEEE
OpenMP has emerged as an important model and language extension for shared-memory parallel programming. On shared-memory platforms, OpenMP offers an intuitive, incremental approac...