959 search results - page 123 / 192 » Fundamental Concepts in Programming Languages |
129
click to vote
SOSYM
2010
14 years 10 months ago
2010
Abstract The Unified Modeling Language (UML) is the de facto language used in the industry for software specifications. Once an application has been specified, Model Driven Arch...
113
click to vote
CGO
2010
IEEE
15 years 6 months ago
2010
IEEE
We present a practical and scalable method for flow- and contextsensitive (FSCS) pointer analysis for C programs. Our method analyzes the pointers in a program level by level in ...
108
click to vote
WWW
2006
ACM
16 years 16 days ago
2006
ACM
The need of formal verification is a problem that involves all the fields in which sensible data are managed. In this context the verification of data streams became a fundamental...
182
click to vote
SIGMOD
2009
ACM
16 years 2 days ago
2009
ACM
Fundamental to data cleaning is the need to account for multiple data representations. We propose a formal framework that can be used to reason about and manipulate data represent...
IFIP
2009
Springer
15 years 6 months ago
2009
Springer
The fundamental Quality of Service (QoS) routing problem, which consists in determining paths subject to multiple QoS constraints, has been extensively investigated in the intra-do...