7139 search results - page 1195 / 1428 » Language Engineering in Practice |
133
click to vote
EDOC
2006
IEEE
15 years 11 months ago
2006
IEEE
— An enterprise architecture is intended to be a comprehensive blueprint describing the key components and relationships for an enterprise from strategies to business processes t...
167
click to vote
ACMSE
2006
ACM
15 years 11 months ago
2006
ACM
If we classify the variables of a program into various security levels, then a secure information flow analysis aims to verify statically that information in the program can flo...
168
click to vote
SI3D
2006
ACM
15 years 11 months ago
2006
ACM
This paper studies jump flooding as an algorithmic paradigm in the general purpose computation with GPU. As an example application of jump flooding, the paper discusses a constant...
167
click to vote
SIGCSE
2006
ACM
15 years 11 months ago
2006
ACM
Windows Media Player user interface “skin” creation has proven an extremely effective method to reinforce practical object oriented programming techniques. Skin creation motiv...
137
click to vote
FOCS
2005
IEEE
15 years 10 months ago
2005
IEEE
The automata-theoretic approach is one of the most fundamental approaches to developing decision procedures in mathematical logics. To decide whether a formula in a logic with the...