3358 search results - page 280 / 672 » Dynamic Description Logics |
156
click to vote
DATE
2008
IEEE
16 years 1 months ago
2008
IEEE
This paper describes an implementation language and synthesis system for automatically generating latency insensitive synchronous digital designs. These designs decouple behaviora...
160
click to vote
ETFA
2005
IEEE
16 years 14 days ago
2005
IEEE
This paper describes an approach on the way towards dynamically configuring an application by discovering and using smart devices in a sensor/actuator network. The key to this are...
154
click to vote
EWSA
2004
Springer
16 years 7 days ago
2004
Springer
Abstract. Software architectures are engineering artifacts which provide high-level descriptions of complex systems. Certain recent architecture description languages (Adls) allow ...
176
click to vote
ECAL
2003
Springer
16 years 2 days ago
2003
Springer
Abstract. We do not attempt to provide yet another definition of selforganization, but explore the conditions under which we can model a system as self-organizing. These involve th...
197
click to vote
ECAI
2008
Springer
15 years 8 months ago
2008
Springer
Formal verification based on model checking provides a powerful technology to query qualitative models of dynamical systems. The application of model-checking approaches is hamper...