549 search results - page 50 / 110 » Verification condition generation for conditional informatio... |
IV
2002
IEEE
15 years 5 months ago
2002
IEEE
Information visualization, aided by ever more accessible computational resources, continues to grow in popularity and significance. The capability to generate complex imagery by ...
80
Voted
TSMC
2002
15 years 7 days ago
2002
Object-orientation and distributed systems are quickly becoming norms for new system development, generating renewed interest in distribution schemes traditionally directed at rela...
96
Voted
EUROSYS
2009
ACM
15 years 9 months ago
2009
ACM
This paper evaluates pointer tainting, an incarnation of Dynamic Information Flow Tracking (DIFT), which has recently become an important technique in system security. Pointer tai...
IESA
2007
15 years 2 months ago
2007
This paper focuses on the construct of interoperability of web-based information applications, commonly known as ‘mashups’, reporting a case study of a global content provider...
90
Voted
FASE
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. Within model-driven software development, model transformation has become a key activity. It refers to a variety of operations modifying a model for various purposes such...