Sciweavers

6597 search results - page 136 / 1320
» Orderings and Types in Databases
Sort
View
APSEC
2004
IEEE
14 years 29 days ago
Accurate Call Graph Extraction of Programs with Function Pointers Using Type Signatures
Software engineers need to understand programs in order to effectively maintain them. The call graph, which presents the calling relationships between functions, is a useful repre...
Darren C. Atkinson
ISUVR
2007
13 years 10 months ago
A Study on the Expression of Emotions using Lights in Apparel Types
— When types of communication between people are observed, one can see that communication not only consist of words but also, contextual communication consist of facial expressio...
Yongsoon Choi, JuYong Kim, JaeKi Kyoun, Duk Hyun, ...
ENTCS
2008
108views more  ENTCS 2008»
13 years 9 months ago
Modelling Dynamic Software Architectures using Typed Graph Grammars
Several recent research efforts have focused on the dynamic aspects of software architectures providing suitable models and techniques for handling the run-time modification of th...
Roberto Bruni, Antonio Bucchiarone, Stefania Gnesi...
ENTCS
2002
128views more  ENTCS 2002»
13 years 9 months ago
Rewriting Calculus with(out) Types
The last few years have seen the development of a new calculus which can be considered as an outcome of the last decade of various researches on (higher order) term rewriting syst...
Horatiu Cirstea, Claude Kirchner, Luigi Liquori
LPAR
2010
Springer
13 years 7 months ago
Verifying Pointer and String Analyses with Region Type Systems
Pointer analysis statically approximates the heap pointer structure during a program execution in order to track heap objects or to establish alias relations between references, a...
Lennart Beringer, Robert Grabowski, Martin Hofmann