1348 search results - page 181 / 270 » A Temporal Programming Language for Heterogeneous Informatio... |
POPL
2010
ACM
13 years 11 months ago
2010
ACM
Computer science has served to insulate programs and programmers from knowledge of the underlying mechanisms used to manipulate information, however this fiction is increasingly h...
KI
2008
Springer
13 years 8 months ago
2008
Springer
Ambient Intelligent (AmI) environments are supposed to act proactively anticipating the user's needs and preferences, therefore the capability of an AmI system to learn those ...
SEMWEB
2009
Springer
14 years 3 months ago
2009
Springer
GeRoMeSuite is a generic model management system which provides several functions for managing complex data models, such as schema integration, definition and execution of schema ...
CHI
2007
ACM
14 years 23 days ago
2007
ACM
Software developers must modify their programs to keep up with changing requirements and designs. Often, a conceptually simple change can require numerous edits that are similar b...
AICCSA
2008
IEEE
14 years 3 months ago
2008
IEEE
In this paper, we present a novel type and effect analysis for detecting type cast errors and memory errors in C source code. Our approach involves a type system with effect, regi...