2253 search results - page 270 / 451 » An Approach to Specifying Software Frameworks |
141
Voted
AVI
2010
15 years 6 months ago
2010
The use of transparencies is a common strategy in visual representations to guarantee the visibility of different overlapping graphical objects, especially, if no visibility-decid...
167
Voted
ATAL
2010
Springer
15 years 5 months ago
2010
Springer
We present a method of distributed model checking of multiagent systems specified by a branching-time temporal-epistemic logic. We introduce a serial algorithm, central to the dis...
167
Voted
EMSOFT
2011
Springer
14 years 4 months ago
2011
Springer
Given a multi-modal dynamical system, optimal switching logic synthesis involves generating conditions for switching between the system modes such that the resulting hybrid system...
115
click to vote
DSRT
2008
IEEE
15 years 11 months ago
2008
IEEE
We have previously proposed PTIDES (Programming Temporally Integrated Distributed Embedded Systems), a discrete-event framework that binds realtime with model time at sensors, act...
143
Voted
JBCS
2002
15 years 4 months ago
2002
This paper presents a new approach for generating configured and flexible middleware systems for integration of heterogeneous and distributed data. The configuration is based on t...