1884 search results - page 127 / 377 » Abstraction from Counters: An Application on Real-Time Syste... |
GW
1999
Springer
15 years 2 months ago
1999
Springer
Abstract. This paper presents a technical approach for temporal symbol integration aimed to be generally applicable in unimodal and multimodal user interfaces. It draws its strengt...
MIDDLEWARE
2004
Springer
15 years 3 months ago
2004
Springer
We propose an adaptive middleware design for context-aware applications that abstracts the applications from the sensors that provide context. Further, we use application-specifi...
ASM
2000
ASM
15 years 2 months ago
2000
ASM
ASMs have been used at Siemens Corporate Technology to design a component in a software package called FALKO. Main purpose of FALKO is the construction and validation of timetables...
159
click to vote
BIRTHDAY
2011
Springer
13 years 10 months ago
2011
Springer
Abstract. Risk analysis has been used to manage the security of systems for several decades. However, its use has been limited to offline risk computation and manual response. In c...
ECAI
2006
Springer
15 years 1 months ago
2006
Springer
Abstract. We address the problem of extracting Minimal Unsatisfiable Cores (MUCs) from constraint networks. This computationally hard problem has a practical interest in many appli...