8810 search results - page 419 / 1762 » Open. Closed. Open |
161
click to vote
CALCO
2005
Springer
16 years 12 days ago
2005
Springer
We consider open terms and parametric rules in the context of the systematic derivation of labelled transitions from reduction systems.
154
click to vote
ICSM
2003
IEEE
16 years 4 days ago
2003
IEEE
Software maintainers and auditors would benefit from a tool to help them focus their attention on functions that are likely to be the source of security vulnerabilities. However,...
157
click to vote
SIGCSE
2003
ACM
16 years 3 days ago
2003
ACM
Students in programming courses generally write “toy” programs, even when the size of the assigned projects is large. Programming assignments are written, superficially teste...
167
Voted
ESWS
2010
Springer
15 years 11 months ago
2010
Springer
Abstract. It has been argued that linked open data is the major benefit of semantic technologies for the web as it provides a huge amount of structured data that can be accessed i...
192
Voted
MIDDLEWARE
2001
Springer
15 years 11 months ago
2001
Springer
Middleware has emerged as an important architectural component in modern distributed systems. Most recently, industry has witnessed the emergence of component-based middleware pla...