984 search results - page 134 / 197 » ideas 2010 |
112
Voted
SOSYM
2010
14 years 11 months ago
2010
In this paper we present an approach for the analysis of graph transformation rules based on an intermediate OCL representation. We translate different rule semantics into OCL, to...
114
click to vote
SPIN
2010
Springer
14 years 11 months ago
2010
Springer
Directed model checking is a well-established technique to efficiently tackle the state explosion problem when the aim is to find error states in concurrent systems. Although dir...
100
Voted
SPRINGSIM
2010
14 years 11 months ago
2010
—Data Fusion (DF) process is in the interest of the military community since it provides the opportunity to achieve information superiority. The System Entity Structure (SES) is ...
131
Voted
SUTC
2010
IEEE
14 years 11 months ago
2010
IEEE
—Ubiquitous systems build on the vision that great amounts of fixed and mobile microchips and sensors will be integrated in everyday objects. Developing services on basis of sen...
SYNTHESE
2010
14 years 11 months ago
2010
I develop a strategy for representing epistemic states and epistemic changes that seeks to be sensitive to the difference between voluntary and involuntary aspects of our epistemi...