1216 search results - page 210 / 244 » Hybrid type checking |
DATE
2005
IEEE
14 years 2 months ago
2005
IEEE
— We introduce galsC, a language designed for programming event-driven embedded systems such as sensor networks. galsC implements the TinyGALS programming model. At the local lev...
ICITA
2005
IEEE
14 years 2 months ago
2005
IEEE
Intrusion Detection Systems (IDS) have become widely used tools for ensuring system and network security. Among many other challenges, contemporary IDS have to cope with increasin...
ATAL
2005
Springer
14 years 2 months ago
2005
Springer
Abstract. Elderly people are a great repository of knowledge, the majority of which has never been gathered by formal means. In this paper we introduce an application of multi-agen...
FOSSACS
2005
Springer
14 years 2 months ago
2005
Springer
Abstract. We introduce a domain-theoretic computational model for multivariable differential calculus, which for the first time gives rise to data types for differentiable functio...
ESORICS
2004
Springer
14 years 2 months ago
2004
Springer
Parameters of a program’s runtime environment such as the machine architecture and operating system largely determine whether a vulnerability can be exploited. For example, the m...