1636 search results - page 268 / 328 » Type-Theoretic Functional Semantics |
105
click to vote
MOMPES
2009
IEEE
15 years 6 months ago
2009
IEEE
Hard real-time embedded distributed systems pose huge demands in their implementation which must contain as few faults as possible. Over the past years, model-driven development a...
ATAL
2009
Springer
15 years 6 months ago
2009
Springer
Reasoning about others, as performed by agents in order to coordinate their behaviours with those of others, commonly involves forming and updating beliefs about hidden system pro...
RAID
2009
Springer
15 years 6 months ago
2009
Springer
In this paper, we leverage the concepts of formal grammar and genetic operators to evolve malware. As a case study, we take COM infectors and design their formal grammar with produ...
101
click to vote
AIPR
2008
IEEE
15 years 6 months ago
2008
IEEE
– This paper addresses the exploitation of massive numbers of image-derived change detections. We use the term “change analysis” to emphasize the intelligence value obtained ...
ANSS
2008
IEEE
15 years 6 months ago
2008
IEEE
Functional prototypes and simulations are a well recognised and valued tool for building a shared understanding of requirements between users and developers. However, the developm...