4258 search results - page 432 / 852 » Languages and Interactive Software Development |
127
click to vote
SIGSOFT
2004
ACM
15 years 10 months ago
2004
ACM
Aspect-oriented programming has become an increasingly important means of expressing cross-cutting program abstractions. Despite this, aspects lack support for computeraided veriļ...
161
click to vote
PLDI
2012
ACM
13 years 7 months ago
2012
ACM
Software-based fault isolation (SFI), as used in Googleās Native Client (NaCl), relies upon a conceptually simple machine-code analysis to enforce a security policy. But for com...
140
click to vote
WWW
2005
ACM
16 years 5 months ago
2005
ACM
We present an approach in which the semantics of an XML language is defined by means of a transformation from an XML document model (an XML schema) to an application specific mode...
142
click to vote
EDBT
2000
ACM
15 years 8 months ago
2000
ACM
the research activities. This abstract is to introduce the approach of a data model - EP data model. Its data structure is able to store as a finite set of nodes arbitrary effectiv...
138
click to vote
APSEC
2005
IEEE
15 years 10 months ago
2005
IEEE
When requirements models are developed in an iterative and evolutionary way, requirements validation becomes a major problem. In order to detect and ļ¬x problems early, the speci...