736 search results - page 7 / 148 » Moving Specification Structures Between Logical Systems |
FPL
2005
Springer
15 years 3 months ago
2005
Springer
As the logic capacity of FPGA increases, there has been a corresponding increase in the variety of FPGA building blocks. From a mere collection of the conventional logic blocks, F...
123
click to vote
ICCS
2007
Springer
15 years 1 months ago
2007
Springer
Abstract. Sensing is at the core of virtually every DDDAS application. Sensing applications typically involve distributed communication and coordination over large self-organized n...
84
Voted
ECBS
2009
IEEE
15 years 1 months ago
2009
IEEE
We present and formalize concepts for the structured specification of system behavior based on services. Services are patterns of interaction between reactive components, thus sup...
ATAL
2004
Springer
15 years 1 months ago
2004
Springer
In this paper, we propose a framework for modelling agent organizations, OMNI, that allows the balance of global organizational requirements with the autonomy of individual agents...
125
click to vote
HYBRID
2010
Springer
14 years 11 months ago
2010
Springer
In this paper, we describe a receding horizon scheme that satisfies a class of linear temporal logic specifications sufficient to describe a wide range of properties including saf...